:: deftheorem Def10 defines ^0 TOPGEN_4:def 10 :
for T being non empty TopSpace
for A, b₃ being Subset of T holds
( b₃ = A ^0 iff for x being Point of T holds
( x in b₃ iff x is_a_condensation_point_of A ) );