الدالة الضمنية دالة رياضية تمثل أقترانا ضمنيا، وتكون الدالة ضمنية إذا كان المتغير التابع والمستقل (المجال والمجال المقابل) في طرف واحد من المعادلة (كان الأقتران ضمنيا) مثل:
3
x
2
+
2
x
y
+
y
2
+
7
=
0
{\displaystyle 3x^{2}+2xy+y^{2}+7=0}
. وتنص المبرهنة على أنه يمكن تعريف متتعدد الشعب باستخدام خصائص دالة آخرى، حيث يعتبر متعدد الشعب أصفار هذه الدالة، إذا إنطبقت على مشتقة هذه الدالة شروط معينة