定义 设 L 是格, 0∈L, 若 ∀b∈L, 0≺b≼a⇔b=a, 则称 a 为 L 中的原子. 若 L 是正整数 n 的全体正因子关于整除关系构成的格, 则 L 的原子恰为 n 的全体素因子. 若 L 是 B 的幂集, 则 L 中的原子就是 B 中元素构成的单元集.