:יחס ההכלה הינו תת קבוצה של המכפלה הקרטזית של אוסף קבוצות כלשהו. את התנאי הלוגי בודקים רק לגבי זוג סדור של קבוצות, הוא לא מוגדר לאחד בכלל --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
== לגבי המבחן ==
במבחן לא יהיה שובך היונים?
לדוגמא שאלה 2 סעיף ד http://math-wiki.com/images/b/b6/10BdidaTestBSol.pdf לא חלק מהחומר?