a) Wähle ein a aus X und vergleiche es der Reihe nach mit allen
anderen Elementen von X. Sobald du ein größeres findest, wähle dieses
zum Vergleichen mit den noch nicht betrachteten. Es ist ja (wegen der
Transitivität) größer als alle, mit denen schon vergleichen wurde.
Setze das Verfahren fort (und wähle ggf. jeweils ein neues Vergleichselement)
bis alle Elemente von X beim Vergleichen dabei waren. Das ist möglich, weil
es nur endlich viele gibt.
Das Element, das zuletzt zum Vergleichen gemerkt wurde, ist dann
offenbar das größte.
b) ℤ wäre so ein Beispiel
c) Das offene Intervall ]0,1[ wäre ein Beispiel.