原子_(序理論)

帶有最小元 0 的偏序集合 P 中的原子是不等於 0 的所有元素中的極小的元素 。 帶有最小元 0 的原子偏序集合 P 中的是在其中對於所有 P 的非零元素 x 有一個 P 的原子 a 使得 a ≤ x 。 在偏序集合中的原子是集合論中的單元素集合的抽象推廣 。 Y