theorem :: TOPGEN_1:23

for T being non empty TopSpace
for p being Point of T holds
( p is isolated iff {p} is open )