上界

设（A, ≤）为一个偏序集，B⊆A，y∈A，若對所有 x∈B 都有 x ≤ y，则 y 称作 B 的上界。