lautet:

Ist X ein normaler topologischer Raum, d. h. genügt er den Trennungsaxiomen T₄und T₁, und sind A, B abgeschlossene Teilmengen von X, dann gibt es eine stetige Abbildung f : X → [0, 1] mit f (A) = 0 und f (B) = 1.