UNLaM
Algunos detalles...
Para tener en cuenta:
Si en Dn, me piden definir una relación de orden amplio, no lineal, significa lo siguiente:
a C Dn X Dn: a a b <--> a|b
En palabras: una relación incluida en el producto cartesiano Dn X Dn, tal que a precede a b si y solo sí a divide a b.
Si me piden definir una relación de orden amplio, lineal, es lo mismo pero lo que establecemos es que a<b .
a C Dn X Dn: a a b <--> a<b
Espero que les haya quedado claro.
Saludos!!!
La Profe