:: deftheorem Def6 defines ClFinTop TOPGEN_3:def 6 :
for X being set
for b₂ being strict TopSpace holds
( b₂ = ClFinTop X iff ( the carrier of b₂ = X & ( for F being Subset of b₂ holds
( F is closed iff ( F is finite or F = X ) ) ) ) );