przestrzeń T4

Przestrzeń normalna i przestrzeń T4 to terminy w topologii opisujące tę samą lub bardzo pokrewne własności oddzielania. Mówi się, że w przestrzeni topologicznej rozłączne zbiory domknięte mogą być oddzielane przez zbiory otwarte jeśli dla każdych rozłącznych zbiorów domkniętych można znaleźć takie rozłączne zbiory otwarte że i Czasami w sytuacji jak przedstawiona na rysunku powyżej mówi się, że zbiory domknięte są rozdzielone przez otoczenia otwarte Przestrzeń topologiczna jest przestrzenią normalną (albo ) wtedy i tylko wtedy, gdy jest przestrzenią T1 w której rozłączne zbiory domknięte mogą być oddzielane przez zbiory otwarte.