לy יכולים להיות כמה x?

לא. יכול להיות ההפך

כן. כאשר ל-x יש כמה y אזי ההתאמה אינה חח"ע.
אכן מתאפשר מצב של-y מסוים קיימים כמה x-ים ובמקרה זה ההתאמה אינה חד ערכית וזוהי אינה פונקציה.

נו, אין פונקציה כזאת