אם אני רוצה להוכיח שקיימת פונקציה חח"ע מA לB, מספיק להראות שמספר האיברים בA קטן או שווה למספר האיברים בB? [ואז ניתן ליצור פונקציה שתשלח כל איבר של A לאיבר אחר של B]
או שעלי ממש להציג פונקציה שכזו?
:אני חושב שבשאלה שצריך להראות שקיימת פו' חח"ע צריך להראות פונקציה כזאת.
==לקבוצה של שני-הרכבת יחסים==