בהוכחה שהפונקציה היא "על"- אפשר לציין שN מוכל בZ ולהתבסס על זה?
== תרגיל 6, שאלה 5 ==
אם <math>(a,b)R(c,d)</math>, אפשר לפי ההגדרה של היחס להגיד שמתקיים <math>a\leq c</math> תמיד?
אם כן אז זה מקצר את החלק של הטרנזיטיביות:
נניח <math>(a,b)R(c,d)</math> וגם <math>(c,d)R(e,f)</math>. אז <math>a\leq c</math> וגם <math>c\leq e</math> ולכן <math>a\leq e</math>.
תודה.