Rank-raising monotonicity lemma
= Rank-raising monotonicity lemma
If a <strategyproof> <social choice function> selects $a$, raising $a$ in one agent's order without moving any formerly lower alternative above it preserves the outcome. A different outcome would make one of the changes between the old and new reports a profitable deviation. Arbitrary changes among alternatives wholly above or wholly below $a$ are allowed.