A quota rule is the recurrence relation for the function 
that counts quota systems
for 
voters with initial quota 
,
 |
for integers 
and 
, where 
is the floor function.
The initial value is 
,
and 
for integers 
and 
outside 
(Young et al. 1995). The restriction
on 
is needed for the recurrence
relation. For example, 
whereas 
.
