Mathématiques, informatique, politique et poésie
Soit \(A\) un sous ensemble de l'ensemble ordonné \((E, \leq)\).
La borne inférieure ou infimum de \(A\) est le plus petit (au sens de plus petit élément) des majorants de \(A\).
La borne supérieure ou suprémum de \(A\) est le plus grand (au sens de plus grand élément) des minorants de \(A\).