שינויים

הוכחה: פונקציה <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>.

=== סכום ומכפלה של עוצמות ===