完備半順序
数学の特に順序理論関連分野における有向完備半順序（ゆうこうかんびはんじゅんじょ、; dcpo）および ω-完備半順序（オメガかんびはんじゅんじょ、; ωcpo）あるいは単に cpoとは、半順序集合の特別なクラスで、によって特徴づけられる。完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。
Q395
数学
Concept
Q474715
順序理論
Concept
Q474715
半順序集合
Concept
Q2878974
理論計算機科学
Concept
Q1189746
表示的意味論
Concept
Q1079166
領域理論
UNK
Q3082805
完備半順序
UNK
Q3082805
完備半順序
UNK
Q3082805
完備半順序
UNK
subclass of