代数的完全偏序集

代数的完全偏序集（algebraic complete partial order，algebraic CPO），计算机科学技术名词，完全偏序集 D 称为是代数的，如果对每个 x ∈ D ，小于等于 x 的 D 中紧致元素构成有向集。