שינויים
/* יחסי סדר */
'''הגדרה.''' יהי R יחס סדר חלקי על A. אם לכל שני איברים a,b בA מתקיים <math>[(a,b)\in R]\or[(b<math>,a)\in R</math>]</math> אזי R נקרא '''יחס סדר מלא'''.
'''דוגמא.'''
נביט בקבוצת השלמים, ובתת קבוצה סופית שלה B. נביט ביחס "מחלק את". הסופרמום של B הוא המכפלה המשותפת המינימלית (lcm), והאינפימום הוא המחלק המשותף המקסימלי(gcd).
