Descripción de la estructura topológica del axioma de separación (como el sistema de axiomas T0-T4)