Menge/Funktionenmenge/Unteralgebra/Trennung/Wertevorgabe/Fakt

Es sei eine Menge und sei eine -Unteralgebra, die die Punkte aus trennt.

Dann gibt es zu Punkten aus und zu vorgegebenen Werten ein mit und .