A collection of all possible states of a system that are compatible with some given set of constraints.