בחלק מהסעיפים זה לפעמים נכון ולפעמים לא נכון (תלוי בגדלים של A,B). דוגמה לכך היא סעיף ג' שכן אם B בת איבר אחד אז ברור שיש פונקציה על מ-A ל-B אבל אם B סופית ויש בה יותר איברים אז לא קיימת פונקציה כזאת. מה אמורים לענות במקרים האלה?
הטענה בסעיף זה אומרת שלכל שתי קבוצות A,B, בהינתן ש A,B אינן ריקות בהכרח קיימת פונקציה על מ A ל B.
ומה שצריך לקבוע זה אם הטענה נכונה או לא. עצם העובדה שאמרת שיש מקרים בהם למרות ש A,B הן קבוצות לא ריקות, לא קיימת פונקציה על מ A ל B, משמעה שהטענה לא נכונה. [[משתמש:גילי|גילי]]