Atom (teorie uspořádání)
Atom je v teorii uspořádání, podoboru matematiky, označení pro takový prvek částečně uspořádané množiny s nejmenším prvek , pro který platí, že
- a
- neexistuje splňující .
Jinými slovy to lze vyjádřit tak, že atomy jsou prvky, které jsou po vynechání nejmenšího prvku prvky minimálními, nebo tak, že atomy jsou prvky pokrývající nejmenší prvek.
Reference[editovat | editovat zdroj]
V tomto článku byl použit překlad textu z článku Atom (order theory) na anglické Wikipedii.