Atom (teorie uspořádání)

Z testwiki
Skočit na navigaci Skočit na vyhledávání
Hasseův diagram potenční množiny tříprvkové množiny uspořádané relací podmnožiny: Atomy jsou prvky {x},{y},{z}

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.

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

Šablona:Překlad Šablona:Autoritní data