Smith Set

In voting systems, the Smith set, named after John H. Smith, is the smallest non-empty set of candidates in a particular election such that each member beats every other candidate outside the set in a pairwise election. The Smith set provides one standard of optimal choice for an election outcome. Voting systems that always elect a candidate from the Smith set pass the Smith criterion and are said to be "Smith-efficient".

A set of candidates where every member of the set pair-wise beats every member outside of the set is known as a dominating set.