Hasseův diagram potenční množiny tříprvkové množiny uspořádané relací podmnožiny: Atomy jsou prvky
{
x
}
,
{
y
}
,
{
z
}
{\displaystyle \{x\},\{y\},\{z\}}
Atom je v teorii uspořádání , podoboru matematiky , označení pro takový prvek
a
{\displaystyle a}
částečně uspořádané množiny s nejmenším prvek
0
{\displaystyle 0}
, pro který platí, že
0
<
a
{\displaystyle 0<a}
a
neexistuje
b
{\displaystyle b}
splňující
0
<
b
<
a
{\displaystyle 0<b<a}
.
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.