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 .
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
.