完備半順序
数学の特に順序理論関連分野における有向完備半順序（ゆうこうかんびはんじゅんじょ、英: directed-complete partial order; dcpo）および ω-完備半順序（オメガかんびはんじゅんじょ、英: ω-complete partial order; ωcpo）あるいは単に cpoとは、半順序集合の特別なクラスで、完備性によって特徴づけられる。 完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。
数学の特に順序理論関連分野における有向完備半順序（ゆうこうかんびはんじゅんじょ、英: directed-complete partial order; dcpo）および ω-完備半順序（オメガかんびはんじゅんじょ、英: ω-complete partial order; ωcpo）あるいは単に cpoとは、半順序集合の特別なクラスで、完備性によって特徴づけられる。 完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。
数学の特に順序理論関連分野における有向完備半順序（ゆうこうかんびはんじゅんじょ、英: directed-complete partial order; dcpo）および ω-完備半順序（オメガかんびはんじゅんじょ、英: ω-complete partial order; ωcpo）あるいは単に cpoとは、半順序集合の特別なクラスで、完備性によって特徴づけられる。 完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。
出典: Wikipedia「完備半順序」 · CC BY-SA 4.0
この記事を共有: X · Bluesky