الدالة الرتيبة دالة تحفظ ترتيب القيم؛ فدالة حقيقية f معرفة على مجموعة جزئية من R تكون رتيبة تصاعدية إذا لكل x ≤ y يتحقّق f(x) ≤ f(y)، ورتيبة تنازلية إذا لكل x ≤ y يتحقّق f(x) ≥ f(y). الدوال الرتيبة الصارمة تستبدل ≤ بـ < فتكون متباينة وقابلة للعكس، ولها نهايتان جانبيتان في كل نقطة، ونهاية عند ±∞، وتكون نقاط عدم الاستمرار فيها من نوع قفزة.
مبرهنة الدالة الضمنية تصف حالة دالة g:U→ℝ^k معرفة على مجموعة مفتوحة U⊂ℝ^n، وتقول إن مجموعة الصفر M={x∈ℝ^n | g(x)=٠} تكون متعدد شعب ذا بعد n−k إذا كانت دالة ناعمة ورتبة المشتقة التفاضلية g′ عند كل x∈M تساوي k، أي أن المشتقة ذات تصنيفیة كاملة على نقاط M مما يضمن أن حلول المعادلة تُشكّل غرضًا محليًا ذا بعد ثابت.
