theorem Th8: :: T_0TOPSP:8

for T being non empty TopSpace holds T_0-canonical_map T is open