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