Зворотна функція і позитивна функція
І навпаки, неявна функція - це функція, задана як реляційне вираження, в якому залежна змінна не відділена від незалежної змінної. Якщо є одна незалежна змінна, неявна функція приймає таку форму. У деяких випадках неявна функція може бути виражена як позитивна функція шляхом перестановки виразів для залежних змінних, але не завжди. У цьому випадку вона стає багатозначною функцією. Це фактично визначення функції, тому це не функція, але часто це зручно розглядати як функцію, тому ми зазвичай використовуємо термін "функція". Неявна теорема стверджує, що неявна функція, що задовольняє певному стану, може бути локально перетворена в позитивну функцію, що пояснює зв'язок між негативною функцією і позитивною функцією.