تعريف الدالة: تكون علاقة f من مجموعة X إلى مجموعة Y دالة إذا كان كل عنصر من X في علاقة مع عنصر واحد على الأكثر من Y؛ أي أنه من أجل أي عنصرين x1 و x2 من X هما في علاقة مع عنصرين من Y يكون كالتالي:
حيث إنّ f(x)يمثل العنصر الذي هو في علاقة مع x.
نسمي المجموعة X مجموعة المنطلق، والمجموعة Y مجموعة الوصول، والعنصر y = f(x) صورة X بواسطة الدالة f، والعنصر x أصل y = f(x) بواسطة الدالة f، ونقول: إن f(x) غير معرفة في y إذا كان x ليس في علاقة مع أي عنصر من y؛ أي أن f(x)غير موجود في y. نرمز لهذه الدالة بالرمز التالي: شاهد الفيديو