Definition:Separated by Function

Definition

Let $\left({X, \vartheta}\right)$ be a topological space.

Let $A, B \subseteq X$.

Then $A$ and $B$ are separated by function iff there exists an Urysohn function for $A$ and $B$.

$A$ and $B$ may well be singleton sets $A = \left\{{a}\right\}, B = \left\{{b}\right\}$.

In this case $a$ and $b$ are separated by function iff $A$ and $B$ are separated by function.