Ordonner les ordres : un treillis sur les ordres partiels
Résumé
Tout le monde connaît l’ordre naturel des entiers : 1 est plus petit que 2 qui est plus petit que 3, etc. C’est ce qu’on appelle un ordre total. Les ordres partiels sont peut-être un peu moins familiers pour le grand public bien qu’on les retrouve dans de nombreux domaines, par exemple les dépendances des programmes sur un ordinateur. Dans cet article, nous cherchons à mettre un ordre sur les ordres.