Mínimo

Sea $(A,≥)$ un conjunto con una ley de orden, y $B$ un subconjunto de $A$ diremos que b es un mínimo en $B$ si cumple que es menor o igual que cualquier elemento de $B$ $b_i \in B$.

El mínimo no tiene por que existir.