في الرياضيات، دالة ضمنية (بالإنجليزية: Implicit function) هي علاقة على الشكل R(x1,..., xn) = 0 حيث R هي دالة متعددة المتغيرات (عادة ما تكون متعددة حدود). على سبيل المثال، المعادلة الضمنية لدائرة وحدة هي
x
2
+
y
2
−
1
=
0
{\displaystyle x^{2}+y^{2}-1=0}
.
دالة صريحة (بالإنجليزية: explicit function)، إذا ظهر المتغير التابع للدالة في أحد طرفي معادلة وكان المتغير المستقل في الطرف الآخر كانت الدالة صريحة.
مثال ذلك
y
=
8
∗
x
2
+
6
{\displaystyle y=8*x^{2}+6}
و
y
=
4
∗
x
−
1
{\displaystyle y=4*x-1}
.