Espai regular

Un espai topològic X és un espai regular o $T_{3}$ 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, $U\cap V=\emptyset$.

Un punt x i un tancat F en un espai regular

En altres paraules, un punt i un tancat sempre poden ser separats per entorns disjunts.

La propietat de ser regular és un dels axiomes de separació.

Bibliografia

• Munkres, James (2000). «The separation axioms». Topology (2ª ed.). Prentice Hall. pp. 195-197. ISBN 0-13-181629-2. (anglès)