Ésta es la manera adoptada por Bourbaki; por supuesto asume que "X" comienza como espacio topológico, más bien que simplemente como conjunto.