Los axiomas de separación son requisitos sobre la topología de un espacio que garantizan la existencia de un número suficiente de conjuntos abiertos como para distinguir topológicamente puntos distintos.