השאלה היא, האם אני יכול להגדיר פונקצית בחירה שבוחרת איבר מסויים מקבוצה אחת וזהו? או שזהו כלי שאסור לי להשתמש בו? ברמת העיקרון נראה לי שזה בסדר, כי זו רק קבוצה אחת ולא אוסף אינסופי, אבל אני אשמח לדעת.
:האמת שאני לא יודע. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
== בלי הגבלת הכלליות ==
לא הבנתי מזה!!