半順序集合を考えたときの始対象

その集合の中で最も小さい元

半順序集合がいつも最小元を持つとは限らない

ただし、最小元を持つならただ1つに決まる

意味近似順序においての最小元とは

最も精度が低い要素

Bottom型

半順序集合D上の最小元\bot_Dは以下で定義される

\forall a \in D (\bot_D \sqsubseteq a)