Solución al ejercicio
6798
Es una relación de orden parcial estricto