 Theorem (Fishburn 1978b; Alos-Ferrer 2006 ).  A variable domain voting method where the ballots are non-empty sets of candidates is Approval Voting if and only if it satisfies Faithfulness, Cancellation, and Reinforcement. 