theorem Th2: :: T_0TOPSP:2

for T being non empty TopSpace
for V being Subset of (T_0-reflex T) holds
( V is open iff union V in the topology of T )