theorem :: YELLOW16:48

for T being non empty TopSpace
for x, y being Element of T
for V being open Subset of T st x in V & not y in V holds
(chi (V, the carrier of T)) * ((0,1) --> (y,x)) = id Sierpinski_Space