שינויים
/* דוגמא חשובה - הגדרת הרציונאליים */
תשובה: לא. למשל, <math>\frac{2}{6}=\frac{1}{3}</math> ואילו <math>(2,6)\neq (1,3)</math>. כלומר, המכפלה הקרטזית מכילה חזרות מיותרות לעומת הרציונאליים.
נרצה איפוא, להגדיר יחס שקילויות על הזוגות הסדורים של מספרים שלמים כך שכל שני שברים שקולים יהיו ביחס. שימו לב שאנו מגדירים יחס על קבוצת זוגות סדורים, ולכן האיברים ביחס הינם זוגות סדורים של זוגות סדורים. נגדיר <math>((x,y),(z,w))\in R \subseteq (\mathbb{Z}\times\mathbb{Z})\times(\mathbb{Z}\times\mathbb{Z})</math> ע"י <math>((x,y),(z,w))\in R \iff xw=zy</math> (כלומר אם מתקיים עבור השברים <math>\frac{x}{y}=\frac{z}{w}</math>. בקיצור נרשום ש <math>((x,y),(z,w))\in R \iff xw=zy</math>.
===שאלה ממבחן===