最大元
終対象
意味近似順序
においての最大限とは
最も精度が高い要素
半順序集合
$ D
上の最大元
$ \top_D
は以下で定義される
$ \forall a \in D (a \sqsubseteq \top_D)
/mrsekut-book-4320026578/072