這是本頁的一個歷史版本，由YurikBot（對話 | 貢獻）在2006年3月24日 (五) 06:31 （robot Adding: it:Maggiorante）編輯。這可能和目前版本存在着巨大的差異。
設（A, ≤）為一個偏序集，B⊆A，y∈A，若對所有 x∈B 都有 x ≤ y，則 y 稱作 B 的上界。
