原子 (序理論)

帶有最小元 0 的偏序集合 P 中的原子是不等於 0 的所有元素中的極小的元素。

帶有最小元 0 的原子偏序集合 P 中的是在其中對於所有 P 的非零元素 x 有一個 P 的原子 a 使得 a ≤ x。

在偏序集合中的原子是集合論中的單元素集合的抽象推廣。