- "citizen sovereignty" def: Every possible result (societal preference order) should be achievable somehow (by some set of individual preference orders).
- "citizen sovereignty" syn: "non-imposition"
- arrow's theorem def: for an election with more than two candidates, it is impossible for a voting system to satisfy all five of arrow's conditions
- I.I.A. def: In deciding between A and B, you need only look at A and B.
- I.I.A. syn: "independence of irrelevant alternatives"
- monotonicity def: If you're winning and you get more votes, you're still winning!
- monotonicity syn: "positive association of individual values"
- Non-Dictatorship def: The social choice function should not simply follow the preference order of a single individual voter while ignoring all others.
- universality def: Individual voters can rank candidates in any possible preference order (w/o restrictions ex. trans.).
- universality syn: unrestricted domain