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

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