theorem Th12: :: T_0TOPSP:12

for T being non empty TopSpace
for T0 being T_0-TopSpace
for f being continuous Function of T,T0
for p being Point of T holds f .: (Class ((Indiscernibility T),p)) = {(f . p)}