noun Mathematics. a theorem that gives an expression in terms of an integral for the value of an analytic function at any point inside a simple closed curve of finite length in a domain.