Espai topològic en el qual, donats dos espais tancats disjunts, n’hi ha dos d’oberts també disjunts que els contenen.
Un teorema d’Urysohn afirma que en un espai normal, donats dos espais tancats disjunts, hi ha una funció real contínua que pren el valor zero en l’un i el valor u en l’altre.