V teorii množin je minimum (minimální prvek) uspořádané množiny takový prvek množiny, že neexistuje žádný prvek množiny menší než tento.
Definice
Mějme množinu a ní danou relaci ostrého resp. neostrého uspořádání
resp.
, pak:
je minimální prvek množiny
, právě když pro každé
platí
,
kde je negace ostrého uspořádání, a dále pak pro porovnání:
je nejmenší prvek množiny
, právě když pro každé
platí
.
Minimálních prvků může mít množina více, kdežto nejmenší prvek může mít množina pouze jeden.