这是本页的一个历史版本，由Mhss（留言 | 贡献）在2006年2月9日 (四) 09:31编辑。这可能和当前版本存在着巨大的差异。
设（A, ≤）为一个偏序集，B⊆A，y∈A，若對所有 x∈B 都有 x ≤ y，则 y 称作 B 的上界。
