noun Mathematics. a theorem that gives conditions under which a function written in implicit form can be written in explicit form.