In mathematics, a function defined on some open domain is said to have as a conjugate a function if and only if they are respectively real and imaginary parts of a holomorphic function of the complex variable That is, is conjugate to if is holomorphic on As a first consequence of the definition, they are both harmonic real-valued functions on . Moreover, the conjugate of if it exists, is unique up to an additive constant. Also, is conjugate to if and only if is conjugate to .