最小元
半順序集合を考えたときの始対象
その集合の中で最も小さい元
半順序集合がいつも最小元を持つとは限らない
ただし、最小元を持つならただ1つに決まる
意味近似順序においての最小元とは
最も精度が低い要素
Bottom型
半順序集合$ D上の最小元$ \bot_Dは以下で定義される
$ \forall a \in D (\bot_D \sqsubseteq a)　
/mrsekut-book-4320026578/072