אני בטוח שזה לא נכון כי בהרצאה כתוב את ההפך אבל אין לי מושג למה?
תודה רבה לעוזרים
:יחס ההכלה הינו תת קבוצה של המכפלה הקרטזית של אוסף קבוצות כלשהו. את התנאי הלוגי בודקים רק לגבי זוג סדור של קבוצות, הוא לא מוגדר לאחד בכלל --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>