完全偏序维基百科,自由的 encyclopedia 在数学中,有向完全偏序和完全偏序是两种特殊的偏序集合,分别简写为 dcpo 和 cpo。它们特征化自特定的完备性性质。dcpos 和 cpos 是序理论的概念,主要应用于理论计算机科学和指称语义。