Atom (teorie uspořádání)

Hasseův diagram potenční množiny tříprvkové množiny uspořádané relací podmnožiny: Atomy jsou prvky

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

  1. a
  2. 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

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