上界
upper bound
$ d
が
$ X
の上界であることを、
$ X\sqsubseteq d
と書く
定義
$ \forall x\in X
に対して、
$ x\sqsubseteq d
を満たす
$ d
のこと
$ D
は半順序集合
$ X\sub D
$ d\in D
/mrsekut-book-4320026578/073