The correct answer is Condorcet's method satisfies the Independence of Irrelevant Alternatives property.
In this sense, social choice procedures are ways and alternatives to make choices. it is when you have several possibilities of choice for a given situation, as in elections for example, there are several candidates and the choice of one of them.