平坦領域
flat domain
とある
半順序集合
$ (D_\bot,\sqsubseteq)
定義
$ D_\bot := D \cup \{\bot\}
$ D_\bot
の順序は以下で定める
$ \forall x\in D_\bot \; (\bot \sqsubseteq x )
例
通常の0引数の型にbottom(⊥)を加えた集合
https://ja.wikibooks.org/wiki/Haskell/Denotational_semantics#部分関数と意味近似順序
Explanations on concepts of Posets