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.
Reference
Související články Maximum Infimum Minoranta
Externí odkazy
Kategorie:Teorie množin