Soit un ensemble ordonné. Un élément est dit maximal s’il n’existe pas de tq .
1
Si est totalement ordonné, montrer que : maximal maximum.
2
ordonné par la divisibilité. Chercher les éléments maximaux.
3
Si est fini, montrer qu’il existe un élément maximal.
4
Si est fini et n’a qu’un seul élément maximal, montrer que cet élément est maximum.