Un espai topològicX és un espai regular o quan, donats un tancat F de la topologia i un punt x que no pertany a F, hi ha un entorn U de x i un entorn V de F que no es tallen, .
En altres paraules, un punt i un tancat sempre poden ser separats per entorns disjunts.