1. במתימטיקה: ביטויהמקשר בין שתי קבוצות, ומתאים לכל פריטבקבוצה האחת פריט אחד בלבד מתוך הקבוצה השנייה. כגון: ביטוי במתכונת של (x)f=y, מתאים לכל ערך של x (התחום) ערך אחד בלבד של y (הטווח). 2. יעדה של פעולה מסוימת.
3. החלק בהוראה המגדיר את הפעולה שאמורה להתבצע. (גם: קוד פונקציונלי).