Przestrzeń binormalna

Przestrzeń binormalna – każdą przestrzeń topologiczna $X$ o tej własności, że produkt $X\times I$ przestrzeni $X$ i domkniętego odcinka jednostkowego $I$ jest przestrzenią normalną.

Własności

• Przestrzeń binormalna $X$ jest normalna. Istotnie, $X$ jest homeomorficzna z domkniętym (a zatem normalnym) podzbiorem $X\times \{0\}$ przestrzeni normalnej $X\times I,$ zatem jest normalna.
• Przestrzeń topologiczna jest binormalna wtedy i tylko wtedy, gdy jest normalna i przeliczalnie parazwarta.