# Category:Urysohn Spaces

$\left({S, \tau}\right)$ is an Urysohn space if and only if:
For any distinct elements $x, y \in S$ (i.e. $x \ne y$), there exists an Urysohn function for $\left\{{x}\right\}$ and $\left\{{y}\right\}$.