משפט קנטור – הבדלי גרסאות

* אם <math>a</math> הוא איבר של הקבוצה <math>A</math> מסמנים זאת <math>a\in A</math>, ואם הוא אינו איבר של <math>A</math> מסמנים זאת <math>a\not\in A</math>.

* פונקציה מ-<math>A</math> ל-<math>B</math> מסמנים <math>f: A \to B</math>. את האיבר ב-<math>B</math> שהפונקציה מתאימה לאיבר <math>a</math> ב-<math>A</math> מסמנים <math>f(a)</math>. למשל הפונקציה <math>f</math> שמתאימה לכל מספר טבעי את העוקב שלו מוגדרת לפי החוק <math>f(n) = n+1</math>, אבל יש פונקציות מסובכות, שלא ניתן לכתוב להן חוקים מסוג זה.

* לפי הסימונים שהצגנו עתה, ניתן להגדיר את קבוצת החזקה של <math>A</math> כך: <math> \mathcal{P}(A) = \{C \mid C\subseteq A\}</math>