完全偏序

在數學中 ， 有向完全偏序和完全偏序是兩種特殊的偏序集合 ， 分別簡寫爲 dcpo 和 cpo 。 它們特徵化自特定的完備性性質 。 dcpos 和 cpos 是序理論的概念 ， 主要應用於理論計算機科學和指稱語義 。