Nejmenší a největší prvek

Jako nejmenší prvek resp. největší prvek uspořádané množiny se označuje takový prvek, který je menší resp. větší než všechny ostatní prvky této množiny.[1][2] Formálně:

prvek aA je nejmenším prvkem množiny A, pokud platí:

pro libovolný prvek bA platí ab,

prvek aA je největším prvkem množiny A, pokud platí:

pro libovolný prvek bA platí ba,

kde ≤ je binární relace neostrého uspořádání.

Příklad

Některé množiny (například otevřený interval) největší (resp. nejmenší) prvek nemají, ale mohou mít supremum (resp. infimum). Pokud množina největší (resp. nejmenší) prvek má, je tento prvek také jediným maximálním (resp. minimálním) prvkem této množiny. Libovolná množina má nejvýše jeden největší (resp. nejmenší) prvek.

Reference

  1. BALCAR, Bohuslav; ŠTĚPÁNEK, Petr. Teorie množin. 1. vyd. Praha: Academia, 1986. 412 s. 
  2. Petr Hliněný: Výukové texty k předmětu Úvod do informatiky Archivováno 3. 2. 2013 na Wayback Machine., FI MUNI, kapitola 5.2 Další pojmy uspořádaných množin, str. 7

Související články