Atom (teorie uspořádání)

Z testwiki
Verze z 25. 12. 2023, 21:20, kterou vytvořil imported>PastoriBot (Bot: oprava přesměrování minimální prvek)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)
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