Corrigé du devoir surveillé - Bordeaux - LaBRI

d'ordre) quand elle est réflexive, antisymétrique et transitive. Définition (ensemble ordonné). ... On définit l'ordre produit lexicographique ?lex sur.