'''הערה:''' היחס "מחלק את" על השלמים איננו יחס סדר חלקי, כיון שמתקיים, למשל, ש- <math>-2|2\land 2|-2\land 2\neq -2</math>.
'''דוגמא'''
עבור <math>\{A_i\}_{i\in I}</math> אוסף קבוצות. החסם העליון שלה הוא (ביחס להכלה) הוא
<math>\cup _{i\in I} A_i </math>
===תרגיל===