[Constraint] is a relation between two sets, and occurs when the variety that exists under one condition is less than the variety that exists under another.

p. 127 - An Introduction to Cybernetics (1956) - Part 2: Variety