Es sei X {\displaystyle {}X} eine Menge und sei T ⊆ Abb ( X , K ) {\displaystyle {}T\subseteq \operatorname {Abb} \,{\left(X,{\mathbb {K} }\right)}} eine Menge von auf X {\displaystyle {}X} definierten K {\displaystyle {}{\mathbb {K} }} -wertigen Funktionen. Man sagt, dass T {\displaystyle {}T} die Punkte von X {\displaystyle {}X} trennt, wenn es zu je zwei Punkten x , y ∈ X {\displaystyle {}x,y\in X} eine Funktion f ∈ T {\displaystyle {}f\in T} mit f ( x ) ≠ f ( y ) {\displaystyle {}f(x)\neq f(y)} gibt.
