Se um espaço topológico é zero-dimensional, ele é completamente regular, como pode ser visto em LINKAR. Como \((X,\tau)\) não é completamente regular, temos que \((X,\tau)\) não é zero-dimensional.