:: deftheorem defines is_a_condensation_point_of TOPGEN_4:def 9 :
for T being non empty TopSpace
for A being Subset of T
for x being Point of T holds
( x is_a_condensation_point_of A iff for N being a_neighborhood of x holds not N /\ A is countable );