dがXの上界であることを、X\sqsubseteq dと書く

定義

\forall x\in Xに対して、x\sqsubseteq dを満たすdのこと

Dは半順序集合

X\sub D

d\in D