A more complex two-stage process is, when there is a cycle, to first eliminate all candidates not in some group which is found by looking at the pairwise comparisons, and then use a separate voting system to find the winner. Sets used for this purpose are defined so that they will always contain only the Condorcet winner if there is one, and will always, in any case, contain at least one candidate. Such sets include the