Se verifica que pr : X x Y → Y es una identificación, o sea que Y es homeomorfo al correspondiente conjunto cociente.