שאלת מבחן במתמטיקה בדידה - האוניברסיטה הפתוחה 2025 - קבוצות

נתון: קבוצות $A, B$; פונקציה חח"ע $f: A \to B$; פונקציה $g: B \to A$; $C$ קבוצה חלקית ממש של $f[A]$, המקיימת $g[C] = A$. בחרו את התשובה הנכונה: **[1]** מהנתון נובע ש-$A$ אינסופית. **[2]** טענה [1] אינה נכונה, אבל מהנתון נובע ש-$B$ אינסופית. **[3]** טענות [1] ו-[2] אינן נכונות, אבל מהנתון נובע ש-$|C| < |B|$. **[4]** אף אחת מהטענות [1]–[3] אינה נכונה.