Con frecuencia , se supone que este espacio topológico es Hausdorff, pero esto no es necesario desde el punto de vista de la definición formal.