Se llama relación de un conjunto P en un conjunto M al conjunto de pares ordenados que satisfacen la propiedad y tales que el primer elemento pertenece a P y el segundo elemento pertenece a M. Ejem…