שינויים

/* תרגיל */
=== תרגיל ===
נגדיר <math>X=\left\{ 1,2,3,\dots,10\right\}</math> . עוד נגדיר <math>\mathbb{O}</math> להיות קבוצת כל יחסי השקילות על <math>X</math>.נגדיר יחס <math>\preceq</math> מעל <math>\mathbb{O}</math> על ידי הכלל <math>R_{1}\preceq R_{2}\iff\left(\left|\nicefrac{X}{/R_{1}}\right|<\left|\nicefrac{X}{/R_{2}1}\right|\right)\lor\left(R_{1}=R_{2}\right)</math> כאשר <math>\left|\nicefrac{X}{/R_{1}}\right|</math> פירושו מספר האיברים בקבוצת המנה של היחס <math>R_{1}</math>.
1. הוכיחו: כי <math>\preceq</math> הוא יחס סדר על <math>\mathbb{O}</math>.
2,232
עריכות