שינויים

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

או שעלי ממש להציג פונקציה שכזו?

==לקבוצה של שני-הרכבת יחסים==