Proposición (Propiedad Universal del Conjunto Cociente)