הוכחות/הסברים

הוכחות/הסברים

איך מסבירים (או מוכיחים) את:
1. A, B - קבוצות סופיות ו-A מוכלת-שווה-ל B אז כל
פונקציה f : A ->B שהיא על היא חד-חד ערכית.
2. A, B - קבוצות סופיותו-A מוכלת-שווה-ל B אז כל
פונקציה f : A ->B שהיא חד-חד ערכית היא על.
 
בנוסף, אחת הסיבות לכך שהיא על היא שאותו איבר אינו

"מופיע" פעמיים.
הוא אמנם יכול לחזור על עצמו, אבל יש לו אחד ורק מופע אחד.
 
למעלה