An apportionment method is a rule that selects an apportionment for each choice of positive populations and house size
. If
is the total population and
is the number of seats assigned to state
, then the exact quota of state
is
. A method satisfies the quota rule when
for every state.
Natural requirements on apportionment methods include the quota rule, house monotonicity, and population monotonicity. These conditions cannot all be guaranteed simultaneously. In particular, the Balinski-Young impossibility theorem makes the quota rule and population monotonicity incompatible.
Failures of the natural monotonicity requirements give the Alabama paradox, population paradox, and new-states paradox.