Un elemento mínimo se define dualmente, como aquel "a" ∈ "A" tal que cualquier otro es mayor o igual que él; es decir, tal que para todo "x" ∈ "A", "a" ≤ "x", en la figura el elemento a es el mínimo de A.