noun Mathematics. the theorem that a function that is analytic on an annulus can be represented by a Laurent series on the annulus.