פונקציה – הבדלי גרסאות

 

מבחינה פורמלית <math>f</math> היא [[תת-קבוצה]] של ה[[מכפלה קרטזית|מכפלה הקרטזית]] <math>X \times Y</math> (כלומר קבוצה של [[זוג סדור|זוגות סדורים]] שהאיבר הראשון בכל זוג הוא מ-X והשני מ-Y) שמקיימת את שני התנאים הבאים:

*לכל <math>x \in X</math>, <math>y_1, y_2 \in Y</math> אם <math>(x,y_1) \in f</math> וגם <math>(x,y_2) \in f</math> אז <math>y_1=y_2</math> (חד ערכיות).