Mathématiques, informatique, politique et poésie
Soit \(A\) un sous ensemble de l'ensemble ordonné \((E, \leq)\).
Le plus petit élément de \(A\) est un élément \(m\) de \(A\) tel que \(\forall x \in A, m \leq x\).
Le plus grand élément de \(A\) est un élément \(M\) de \(A\) tel que \(\forall x \in A, x \leq M\).
Quand \(\leq\) est un ordre total, les notions d'élément minimal et de plus petit élément sont confondues.