Temos que a topologia $X$ é separável, pois possui bases enumeráveis (Demonstração).