Przestrzeń T4: Różnice pomiędzy wersjami

:dla każdych rozłącznych [[Zbiór_domknięty|zbiorów domkniętych]] <math>E,F\subseteq X</math> (czyli <math>E\cap F=\emptyset </math>) można znaleźć rozłączne [[Zbiór otwarty|zbiory otwarte]] <math>U,V\subseteq X</math> takie że <math>E\subseteq U</math> i <math>F\subseteq V</math>:

<div style="text-align: center;">

Czasami w sytuacji jak przedstawiona na rysunku powyżej mówi się że zbiory domknięte E,F są rozdzielone przez otoczenia otwarte U,V.