'''עדי
השאלה שלי בעצם האם ההוכחה תקפה גם כאשר B קב' הגדולה מ-2 איברים או אפילו קב' אינסופית?
'''אם אתה מתכוון ל-3? התשובה היא כן, <math>|\{f:A->B\}|=|B|^{|A|}\ \ \forall A,B</math>
'''4 הוא מקרה פרטי של 3 כש- <math>|B|=2</math>. אם תיקח <math>|B|</math> מעוצמה אחרת תקבל <math>|B|^{|A|}</math> שונה מ-<math>2^{|A|}</math> ולכן לא רלוונטי ל-<math>P(A)</math>.
עדי
== המשך השאלה הקודמת ==
השאלה שלי בעצם האם ההוכחה תקפה גם כאשר B קב' הגדולה מ-2 איברים או אפילו קב' אינסופית?