Observe que la D-topología cociente es la D-topología de la difeología del cociente.