T0 space ($T_0$)

A topological space is $T_0$ when every pair of distinct points is distinguished by an open set containing exactly one of them.

The Sierpiński space is $\{0,1\}$ with open sets $\varnothing$, $\{1\}$, and $\{0,1\}$. Continuous maps $X\to S$ are in bijection with open subsets of $X$ through $g\mapsto g^{-1}(1)$.

For a T0 space $X$, evaluation against all continuous maps $g:X\to S$ is a homeomorphism onto its image under the mapinto a power of the Sierpiński space. The $T_0$ axiom makes it injective, and the coordinate inverse images of $\{1\}$ recover every open subset of $X$.