poset
partially ordered set、半順序集合
集合に半順序が入ってる構造:
数学的構造
前順序に反対称律が加わったモノ
つまりpreorderの subclass
partially ordered set、半順序集合
集合に半順序が入ってる構造: (P,≤)
数学的構造
前順序に反対称律が加わったモノ
つまりpreorderの subclass
題名の通りプログラム意味論を扱う書籍
プログラム意味論 / 横内 寛文 著 | 共立出版
第1章 表示的意味論の考え方
第2章 ラムダ計算の基礎
第3章 領域理論の基礎
束(一般に順序集合)にも素イデアル(素数・素元の一般化)が存在するのか
ある種のコンパクト性らしい
これまでの理解
イデアルはダウン集合 (lower set) と有向集合のサブクラス
参考