A constant-magnetization ensemble is introduced in order to study classical, anisotropic Heisenberg systems. Existence, uniform convergence, and convexity properties are proved for an appropriate thermodynamic potential. The thermodynamic equivalence of this ensemble with the more common canonical ensemble is also established. In a subsequent paper, this formulation is used to obtain an exact statistical mechanical solution of classical Heisenberg systems with long-range Kac interactions.