Menge von Abbildungen, die die Punkte einer gegebenen Menge trennt. Es seien M und N Mengen und F eine Menge von Abbildungen f : M → N. Dann heißt F punktetrennend, falls es für alle x, y ∈ M ein f ∈ F gibt mit f (x) ≠ f (y).

Ist beispielsweise V ein normierter Raum und V′ der Dualraum von V, so folgt aus dem Satz von Hahn-Banach, daß V′ die Punkte von V trennt.