====דוגמא נוספת:====
הערה: בקיץ עדיף להציג את היחס על <math>P(X)</math> שמוגדרת ע"י <math>A~B\iff A\cap S=B\cap S </math> (כאשר S ת"ק קבועה). דוגמא נוספת שאין בהרצאות: על הממשיים מגדירים <math>xTy\iff \exists a\in \mathbb{Z}:x-y=a</math>. להעיר שצריך שלם, כי טבעי לא מספיק לשקילות.
נגדיר יחס שקילות R על <math>\mathbb{Z}</math> ע"י <math>3|(x-y) \Leftrightarrow xRy</math>