Atom (teorie uspořádání)

Atom je v teorii uspořádání, podoboru matematiky, označení pro takový prvek $a$ částečně uspořádané množiny s nejmenším prvek $0$, pro který platí, že

1. $0<a$ a
2. neexistuje $b$ splňující $0<b<a$.

Hasseův diagram potenční množiny tříprvkové množiny uspořádané relací podmnožiny: Atomy jsou prvky $\{x\},\{y\},\{z\}$

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

V tomto článku byl použit překlad textu z článku Atom (order theory) na anglické Wikipedii.