A Condorcet method is an election method that elects the candidate who wins a majority of the vote in every head-to-head election against each of the other candidates, whenever there is such a candidate. A candidate with this property, the pairwise champion or beats-all winner, is formally called the Condorcet winner or Pairwise Majority Rule Winner (PMRW). The head-to-head elections need not be done separately; a voter's choice within any given pair can be determined from the ranking.
The Copeland or Llull method is a ranked-choice voting system based on counting each candidate's pairwise wins and losses.
Bucklin voting is a class of voting methods that can be used for single-member and multi-member districts. As in highest median rules like the majority judgment, the Bucklin winner will be one of the candidates with the highest median ranking or rating. It is named after its original promoter, the Georgist politician James W. Bucklin of Grand Junction, Colorado, and is also known as the Grand Junction system.
A Condorcet winner is a candidate who would receive the support of more than half of the electorate in a one-on-one race against any one of their opponents. Voting systems where a majority winner will always win are said to satisfy the Condorcet winner criterion. The Condorcet winner criterion extends the principle of majority rule to elections with multiple candidates.
In social choice, a no-show paradox is a pathology in some voting rules, where a candidate loses an election as a result of having too many supporters. More formally, a no-show paradox occurs when adding voters who prefer Alice to Bob causes Alice to lose the election to Bob. Voting systems without the no-show paradox are said to satisfy the participation criterion.
The median voter theorem in political science and social choice theory, developed by Duncan Black, states that if voters and candidates are distributed along a one-dimensional spectrum and voters have single-peaked preferences, any voting method that is compatible with majority-rule will elect the candidate preferred by the median voter. The median voter theorem thus shows that under a realistic model of voter behavior, Arrow's theorem, which essentially suggests that ranked-choice voting systems cannot eliminate the spoiler effect, does not apply, and therefore that rational social choice is in fact possible if the election system is using a Condorcet method.
A voting system satisfies join-consistency if combining two sets of votes, both electing A over B, always results in a combined electorate that ranks A over B. It is a stronger form of the participation criterion. Systems that fail the consistency criterion are susceptible to the multiple-district paradox, which allows for a particularly egregious kind of gerrymander: it is possible to draw boundaries in such a way that a candidate who wins the overall election fails to carry even a single electoral district.
The mutual majority criterion is a criterion for evaluating electoral system. It is also known as the majority criterion for solid coalitions and the generalized majority criterion. This criterion requires that whenever a majority of voters prefer a group of candidates above all others, then the winner must be a candidate from that group. The mutual majority criterion may also be thought of as the single-winner case of Droop-Proportionality for Solid Coalitions.
The Borda count electoral system can be combined with an instant-runoff procedure to create hybrid election methods that are called Nanson method and Baldwin method. Both methods are designed to satisfy the Condorcet criterion, and allow for incomplete ballots and equal rankings.
In single-winner voting system theory, the Condorcet loser criterion (CLC) is a measure for differentiating voting systems. It implies the majority loser criterion but does not imply the Condorcet winner criterion.
In social choice theory, the best-is-worst paradox occurs when a voting rule declares the same candidate to be both the best and worst possible winner. The worst candidate can be identified by reversing each voter's ballot, then applying the voting rule to the reversed ballots find a new "anti-winner".
Later-no-harm is a property of some ranked-choice voting systems, first described by Douglas Woodall. In later-no-harm systems, increasing the rating or rank of a candidate ranked below the winner of an election cannot cause a higher-ranked candidate to lose.
In social choice theory, the independence of (irrelevant) clones criterion says that adding a clone, i.e. a new candidate very similar to an already-existing candidate, should not spoil the results. It can be considered a weak form of the independence of irrelevant alternatives (IIA) criterion that nevertheless is failed by a number of voting rules. A method that passes the criterion is said to be clone independent.
The Borda method or order of merit is a positional voting rule which gives each candidate a number of points equal to the number of candidates ranked below them: the lowest-ranked candidate gets 0 points, the second-lowest gets 1 point, and so on. Once all votes have been counted, the option or candidate with the most points is the winner.
Instant-runoff voting (IRV) is a winner-takes-all multi-round elimination voting system that uses ranked voting to simulate a series of runoff elections, where the last-place finisher according to a plurality vote is eliminated in each round and the votes supporting the eliminated choice are transferred to their next available preference until one of the options reaches a majority of the remaining votes. Its purpose is to elect the candidate in single-member districts with majority support even when there are more than two candidates. IRV is most closely related to two-round runoff election.
Ranked voting is any voting system that uses voters' rankings of candidates to choose a single winner or multiple winners. More formally, a ranked system is one that depends only on which of two candidates is preferred by a voter, and as such does not incorporate any information about intensity of preferences. Ranked voting systems vary dramatically in how preferences are tabulated and counted, which gives them very different properties.
There are a number of different criteria which can be used for voting systems in an election, including the following
The later-no-help criterion is a voting system criterion formulated by Douglas Woodall. The criterion is satisfied if, in any election, a voter giving an additional ranking or positive rating to a less-preferred candidate can not cause a more-preferred candidate to win. Voting systems that fail the later-no-help criterion are vulnerable to the tactical voting strategy called mischief voting, which can deny victory to a sincere Condorcet winner.
A major branch of social choice theory is devoted to the comparison of electoral systems, otherwise known as social choice functions. Viewed from the perspective of political science, electoral systems are rules for conducting elections and determining winners from the ballots cast. From the perspective of economics, mathematics, and philosophy, a social choice function is a mathematical function that determines how a society should make choices, given a collection of individual preferences.
Multiwinner, at-large, or committeevoting refers to electoral systems that elect several candidates at once. Such methods can be used to elect parliaments or committees.
Mathematicsportal 
