Editing Smith set (section)

=== Strict top-cycle (Schwartz set) ===
The Schwartz set is equivalent to the Smith set, except it ignores tied votes. Formally, the Schwartz set is the set such that any candidate inside the set has a ''strict'' [[beatpath]] to any candidate who defeats them.

The Smith set can be constructed from the Schwartz set by repeatedly adding two types of candidates until no more such candidates exist outside the set:

* candidates that are pairwise-tied with candidates in the set,
* candidates that defeat a candidate in the set.

Note that candidates of the second type can only exist after candidates of the first type have been added.