19.8. Tétel
Legkisebb és a legnagyobb elem egyértelműsége
Legyen egy tetszőleges részbenrendezett halmaz. Ekkor -ben legfeljebb egy legkisebb (illetve legnagyobb) elem létezhet.
Ezen túlmenően, ha a legkisebb (illetve legnagyobb) elem, akkor egyrészt minimális (illetve maximális) elem, másrészt ilyenkor ő az egyetlen minimális (illetve maximális) elem.
♣