The Sierpiński space is with open sets , , and . Continuous maps are in bijection with open subsets of through .
For a T0 space , evaluation against all continuous maps is a homeomorphism onto its image under the mapinto a power of the Sierpiński space. The axiom makes it injective, and the coordinate inverse images of recover every open subset of .