设 ( A , ≤ ) {\displaystyle (A,\leq )} 为一个偏序集， B ⊆ A {\displaystyle B\subseteq A} ， y ∈ A {\displaystyle y\in A} ，若 ∀ x ∈ B {\displaystyle \forall x\in B} 都有 x ≤ y {\displaystyle x\leq y} ，则 y {\displaystyle y} 称作 B {\displaystyle B} 的上界。
