El conjunto cociente tiene la siguiente propiedad universal.