Esta restricción forma un conjunto que contendrá únicamente el ganador de Condorcet si lo hay y contendrá siempre al menos un candidato.