Y así, con una definición más restringida de "alternativas irrelevantes" que excluya a aquellos candidatos del conjunto de Smith, algunos métodos de Condorcet satisfacen las propiedades de Arrow.