A number of correlation inequalities has been derived rigorously for the Ising spin correlations (for general lattice structures), which enabled mathematicians to study the Ising model both on and off criticality.