noun Mathematics. the theorem that the integral of an analytic function about a closed curve of finite length in a finite, simply connected domain is zero.