שינויים

נביט בQ אוסף השברים המצומצמים. נביט בR היחס המוגדר על ידי <math>(\frac{m_1}{n_1},\frac{m_2}{n_2})</math> אם <math>(m_1\leq m_2)\and(n_1\leq n_2)</math> הראו שR . הוכיחו/הפריכו: R הינו יחס סדר חלקי.

נבדוק את תכונות היחס:*רפלקסיביות - ברור.*אנטי-סימטריות - אם <math>(m_1\leq m_2)\and(n_1\leq n_2)</math> וגם <math>(m_1\geq m_2)\and(n_1\geq n_2)</math> אזי <math>(m_1= m_2)\and(n_1= n_2)</math> ולכן שני השברים המצומצמים שווים.*טרנזיטיביות - נובעת מהטרנזיטיביות של המונים והמכנים בנפרד. לכן R הינו יחס סדר חלקי.