T es una "topología en X" si cumple los siguientes axiomas.