Category:Urysohn Spaces

From ProofWiki
Jump to navigation Jump to search

This category contains results about Urysohn Spaces in the context of Topology.

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

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