Definition:Urysohn Space

Definition
Let $T = \struct {S, \tau}$ be a topological space.

$\struct {S, \tau}$ is an Urysohn space :


 * For any distinct elements $x, y \in S$ (that is, $x \ne y$), there exists an Urysohn function for $\set x$ and $\set y$.