Mathématiques, informatique, politique et poésie
Soit \(A\) un sous ensemble de l'ensemble ordonné \((E, \leq)\).
L'élément minimal de \(A\) est un élément \(m\) de \(A\) tel que \(\forall x \in A, x \leq m \implies x = m\)
L'élément maximal de \(A\) est un élément \(M\) de \(A\) tel que \(\forall x \in A, M \leq x \implies x = M\)