theorem Th4: :: T_0TOPSP:4

for T being non empty TopSpace
for p being Point of T holds (T_0-canonical_map T) . p = Class ((Indiscernibility T),p)