for X being non empty TopSpace ex f being Function of (InclPoset the topology of X),(oContMaps (X,Sierpinski_Space)) st
( f is isomorphic & ( for V being open Subset of X holds f . V = chi (V, the carrier of X) ) )