اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
الدالة الضمنية دالة رياضية تمثل أقترانا ضمنيا، وتكون الدالة ضمنية إذا كان المتغير التابع والمستقل (المجال والمجال المقابل) في طرف واحد من المعادلة (كان الأقتران ضمنيا) مثل: . و تنص المبرهنة على أنه يمكن تعريف متتعدد الشعب بإستخدام خصائص دالة آخرى، حيث يعتبر متعدد الشعب أصفار هذه الدالة، إذا إنطبقت على مشتقة هذه الدالة شروط معينة
أوغستين لوي كوشي (1789-1857) ينسب إليه أول شكل صارم لنظرية الدالة الضمنية. ثم قام يوليس ديني (1845-1918) بتعميم نسخة المتغير الحقيقي من نظرية الدالة الضمنية على سياق وظائف أي عدد من المتغيرات الحقيقية.
إذا كانت مجموعة مفتوحة و دالة ناعمة و واذا كانت رتبة لكل تساوي فإنَ متعدد شعب ذو بعد .