Element x w częściowo uporządkowanym zbiorze (P, ≤) nazywamy największym, jeśli:
\[\forall y \in P   y \le x \]

Oznacza to, że każdy element jest mniejszy (lub równy) x. Implikuje to, że element x jest porównywalny z każdym elementem zbioru P.
Przykład.
Jednym z typowych przykładów częściowego porządku jest relacja zawierania się zbiorów w dowolnej przestrzeni topologicznej. W tym uporządkowaniu istnieje element największy, i jest nim cała przestrzeń – gdyż każdy podzbiór przestrzeni zawiera się w tej przestrzeni.

Publikacja wraz ze zdjęciami jest udostępniona w Encyklopedii "Zgapedia" części portalu zgapa.pl. Treść objęta jest licencją GNU FDL Wolnej Dokumentacji w wersji 1.3 lub dowolnej pózniejszej opublikowanej przez Free Software Foundation i została ona opracowana na podstawie Wikipedii, tutaj możesz znaleźć artykuł źródłowy oraz autorów. Warunki użytkowania Encyklopedii znajdziesz na tej stronie.