Mathematical problems defined as a set of objects whose state must satisfy a number of constraints or limitations.