A rule that must always be satisfied during optimization, rather than being treated as a soft penalty that can be violated.