The XY model, also known as the O(2) model, is a Heisenberg ferromagnetic with an easy-plane anisotropy.