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