X≠∅ küme ve S⊆2X olmak üzere
τ(S):={∪B∗|B∗⊆B={∩S∗|(S∗⊆S)(|S∗|<ℵ0)}} ailesinin X kümesi üzerinde bir topoloji olduğunu gösteriniz.
Not: Bu topolojiye S ailesinin doğurduğu topoloji denir.