תחשיב למדא – הבדלי גרסאות

[[פונקציה]] היא שלשה <math>\ ( f , A , B )</math> כאשר A הוא [[תחום הגדרה|תחום ההגדרה]], B הוא הטווחה[[טווח של פונקציה|טווח]] (A ו-B הן [[קבוצה (מתמטיקה)|קבוצות]]) ואילו f הוא ה[[גרף פונקציה|גרף]] של הפונקציה - כלומר: [[יחס]] מעל <math>\ A \times B</math> שמכיל את הזוגות הסדורים מהצורה <math>\ \left( a , f(a) \right)</math>. הגרףהיחס f נקרא לעתים (באופן לא פורמלי) "כלל התאמה".

כאשר עובדים עם פונקציה נהוג [[סימון מתמטי|לסמן]] או לרשום:

: תהי <math>\ f : A \to B</math> הפונקציה <math> \ f(x)</math> (למשל, ב[[אנליזה מתמטית]] של [[פונקציה ממשית|פונקציות ממשיות]]: <math>\ f(x) = x^2</math> )...

אבל זו צורת רישום בזבזנית ולא מדויקת, שכן מבחינה לוגית, <math> \ f(x)</math> הוא לא פונקציה אלא [[מספר]] כלשהו! למרות שהסימונים המקובלים כיום הם לא חד-משמעיים, הם נפוצים בגלל ההרגל והנוחות שבהם.