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