拉赫朗非分裂定理

（计算机科学技术）

拉赫朗非分裂定理（Lachlan's nonsplitting theorem），计算机科学技术名词，拉赫朗1975年证明存在计算可枚举度 a ＜ b 使得 b 在 a 之上不可以分解，即不存在 x ， y ，使得 a ≤ x ＜ b ， a ≤ y ＜ b ，而且 x 和 y 的上确界是 b 。