שינויים

'''משפט'''. לכל שתי קבוצות <math>A,B </math> מתקיים <math>\ |A| \leq |B|</math> או <math>\ |B| \leq |A|</math>. הוכחה: פונקציה <math>f</math> שתחומה הוא תת-קבוצה של הקבוצה <math>A</math> והתמונה שלה היא תת-קבוצה של הקבוצה <math>B</math> תיקרא '''פונקציה חלקית''' מ <math>A</math> ל <math>B</math>. תהי <math>\mathcal{F}</math> משפחת כל הפונקציות החלקיות '''החד-חד ערכיות''' מ <math>A</math> ל <math>B</math>.