الدالة من مجموعة (المجال) إلى مجموعة (المجال المقابل) هي قاعدة تُسنِد لـ كل عنصر عنصرًا واحدًا بالضبط . مجموعة كل المخرجات الفعلية هي المدى.
الدوال هي العمود الفقري للرياضيات كلها — يدرس التفاضل والتكامل مشتقاتها وتكاملاتها، ويدرس الجبر الخطي الدوال الخطية (المصفوفات)، ويدرسها علم الحاسوب بوصفها خوارزميات.
يمكن تعريف الدالة بـ:
- صيغة ()،
- منحنى (مجموعة النقاط )،
- جدول أزواج مدخل-مخرج،
- أو قاعدة لفظية.
اختبار الخط الرأسي يميّز الدوال عن العلاقات الاعتباطية: أي خط رأسي يقطع منحنى الدالة مرة واحدة على الأكثر.