Nechť je částečně uspořádaná množina a je odvozené ostré uspořádání.
Nechť je neprázdná podmnožina množiny .
- je nejmenší prvek množiny , jestliže
- je největší prvek množiny , jestliže
- je minimální prvek množiny (značíme ), jestliže
- je maximální prvek množiny (značíme ), jestliže