It can be formulated as follows: take a d-dimensional lattice, and a set of spins of the unit length
each one placed on a lattice node.
The model is defined through the following Hamiltonian:
with
a coupling between spins.