El conjunto dotado de una estructura topológica.
El conjunto dotado de una estructura topológica.