A less strict property is sometimes called local independence of irrelevant alternatives. It says that if one option (X) wins an election, and a new alternative (Y) is added, X will win the election if Y is not in the Smith set.
All Condorcet methods fail the former criterion, but some satisfy the latter.
None of the Borda count, Coombs' method or Instant-runoff voting meet either criterion.
Some text of this article is derived with permission from " class="external">http://condorcet.org/emr/criteria.shtml