The Hall–Petresco identity is a mathematical result in the field of complex analysis, specifically related to the study of analytic functions and power series. It describes a relationship involving the coefficients of power series in connection with holomorphic functions defined in a disk.