where P is the set of pairs that interact, the minimising procedure can be carried out formally. Define Tr i ⁡ ⁡ f ( ξ ξ i ) as the generalized sum of the observable f over the degrees of freedom of the single component (sum for discrete variables, integrals for continuous ones). The approximating free energy is given by