V teorii množin je maximum (maximální prvek) uspořádané množiny takový prvek množiny, že neexistuje žádný prvek množiny větší než tento.
Definice Mějme množinu a ní danou relaci ostrého resp. neostrého uspořádání resp. , pak:
je maximá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 největší prvek množiny , právě když pro každé platí .
Maximálních prvků může mít množina více, kdežto největší prvek může mít množina pouze jeden.
Reference
Související články Minimum Supremum Majoranta
Externí odkazy
Kategorie:Teorie množin