theorem Th45: :: YELLOW16:46

for T being non empty TopSpace
for V being open Subset of T holds chi (V, the carrier of T) is continuous Function of T,Sierpinski_Space