Estas condiciones son ejemplos de Axiomas de separación.