Em teoria dos conjuntos, o mínimo de um conjunto ordenado é o menor dos seus elementos relativamente a essa ordem.

Um conjunto pode não ter nenhum elemento mínimo, mas se este existir, é único.

O Princípio da boa-ordenação afirma que qualquer subconjunto de possui um elemento mínimo.