---
title: Extended Stable Set in Social Choice
url: https://www.emergentmind.com/topics/extended-stable-set
type: topic
---

# Extended Stable Set in Social Choice

The **Extended Stable Set** is a general solution concept for abstract decision problems \((X,R)\) in social choice theory and game theory, designed for settings in which cyclic dominance prevents the existence of maximal alternatives. In the framework of irreflexive binary relations on a non-empty set of alternatives, it modifies the classical Von Neumann–Morgenstern stable set by replacing direct strict dominance with an **extended dominance relation** that collapses cyclic structures into equipotence classes and thereby yields an acyclic comparison relation [2508.09798]. This construction is intended to produce non-empty, cycle-respecting, core-inclusive choice sets even when the ordinary core \(\mathcal{M}(X,R)\) is empty, and the 2025 characterization framework extends the concept from finite domains to infinite sets while providing topological conditions for existence [2508.09798].

## 1. Abstract decision problems and the failure of maximality

An abstract decision problem is an ordered pair \((X,R)\), where \(X\) is a non-empty set of alternatives and \(R \subseteq X\times X\) is an irreflexive dominance relation. The paper uses \(xRy\) for \((x,y)\in R\), \(P(R)\) for the asymmetric part of \(R\),
\[
P(R)=\{(x,y)\in X\times X \mid xRy \text{ and not } yRx\},
\]
\(\overline{R}\) for the transitive closure of \(R\), and \(\overline{P(R)}\) for the transitive closure of \(P(R)\) [2508.09798].

The classical benchmark is the **core**, or set of maximal elements,
\[
\mathcal{M}(X,R)=\{x\in X \mid \forall y\in X,\ yRx \Rightarrow xRy\}.
\]
For irreflexive relations this is equivalent to the absence of any strictly dominating alternative. When \(R\) is acyclic, non-empty cores can often be obtained on compact domains. When \(R\) is cyclic, however, \(\mathcal{M}(X,R)\) may be empty. The standard example is the Condorcet-type cycle \(aRb\), \(bRc\), \(cRa\), in which every alternative is dominated by another and no maximal alternative exists [2508.09798].

This failure motivates **general solution theories**, which replace maximality by non-empty set-valued solution concepts. The classical Von Neumann–Morgenstern stable set is one such concept, but it can itself fail to exist on odd cycles or more complex cyclic structures. The Extended Stable Set is introduced precisely to address this defect by preserving the logic of internal and external stability while regularizing the underlying dominance relation [2508.09798].

## 2. Extended dominance and the formal definition

The starting point is the ordinary stable set. A subset \(V\subseteq X\) is a Von Neumann–Morgenstern stable set of \((X,R)\) if it satisfies internal stability,
\[
\forall x,y\in V,\ (x,y)\notin P(R),
\]
and external stability,
\[
\forall y\in X\setminus V,\ \exists x\in V \text{ such that } xP(R)y.
\]
The collection of such sets is denoted \(\mathcal{S}(X,R)\) [2508.09798].

The Extended Stable Set replaces \(P(R)\) by an **extended dominance relation** \(R^{\widetilde{\omega}}\). Its construction begins with **equipotence**: for \(x,y\in X\),
\[
x\mathfrak{I}y
\]
if either \(x=y\), or \(x\overline{P(R)}y\) and \(y\overline{P(R)}x\). Thus two alternatives are equipotent exactly when they lie in the same strongly connected component of the strict-dominance reachability relation [2508.09798].

Using equipotence, the extended dominance relation is defined as follows: \(x\) \(\widetilde{\omega}\)-dominates \(y\), written \(xR^{\widetilde{\omega}}y\), if there exist \(z,w\in X\) such that
\[
x\mathfrak{I}z,\quad zP(R)w,\quad w\mathfrak{I}y.
\]
Conceptually, a representative of the equipotence class of \(x\) strictly dominates a representative of the equipotence class of \(y\). The decisive structural fact is Lemma 3.2: \(R^{\widetilde{\omega}}\) is **acyclic**, even when the original relation \(R\) contains cycles [2508.09798].

An **Extended Stable Set** \(\mathcal{E}\subseteq X\) is then defined exactly analogously to a stable set, but relative to \(R^{\widetilde{\omega}}\):
\[
\forall x,y\in \mathcal{E},\ (x,y)\notin R^{\widetilde{\omega}}
\]
and
\[
\forall y\in X\setminus \mathcal{E},\ \exists x\in \mathcal{E} \text{ such that } xR^{\widetilde{\omega}}y.
\]
Internal stability excludes extended domination within the solution set; external stability requires every outsider to be extended-dominated by some insider [2508.09798].

A plausible interpretation is that the Extended Stable Set does not eliminate cycles by arbitrary tie-breaking. Instead, it contracts cyclic strict-dominance patterns into equipotence classes and evaluates dominance only between those classes. This suggests that the concept is not a rejection of cyclic preferences but a reorganization of them into an acyclic quotient structure.

## 3. Contraction, strong components, and comparison with related variants

The paper studies the Extended Stable Set alongside several other stable-set variants: the generalized stable set \(\mathcal{GS}(X,R)\), the socially stable set \(\mathcal{SS}(X,R)\), the \(m\)-stable set \(\mathcal{MS}(X,R)\), and the \(w\)-stable set \(\mathcal{WS}(X,R)\) [2508.09798]. The generalized stable set is the VNM stable set with respect to \(\overline{P(R)}\). Socially stable and \(m\)-stable sets allow internal dominance chains provided they are symmetric. The \(w\)-stable set forbids all internal \(\overline{P(R)}\)-domination and imposes an external bidirectionality condition. A separate 2024 paper provides a topological characterization for the existence of \(w\)-stable sets [2403.04512].

A central organizational device is the **contraction** \((\Xi,\widetilde{R})\) of \((X,R)\). Here \(\Xi\) is the set of strong components \(X_i^\ast\) under \(\overline{P(R)}\), and
\[
X_i^\ast \widetilde{R} X_j^\ast
\]
holds if there exist \(x\in X_i^\ast\) and \(y\in X_j^\ast\) with \(xP(R)y\). This induced component relation is acyclic. Let \(\mu(\Xi,\widetilde{R})\) denote the family of \(\widetilde{R}\)-maximal components [2508.09798].

Within this framework, the paper gives structural characterizations of several solution concepts. The Schwartz set is the union of all maximal strong components,
\[
V=\mathcal{S}_{ch}(X,R)\iff V=\bigcup_{X_i^\ast\in\mu(\Xi,\widetilde{R})} X_i^\ast.
\]
A generalized stable set selects one representative from each maximal component,
\[
V\in \mathcal{GS}(X,R)\iff V=\bigcup \{x_i\in X_i^\ast \mid X_i^\ast\in \mu(\Xi,\widetilde{R})\}.
\]
An \(m\)-stable set is the union of some maximal components. Socially stable sets must intersect every maximal component [2508.09798].

For the Extended Stable Set, the main structural theorem is Theorem \(\ref{0987}\). Under compactness, Nachbin closedness of \(R^{\widetilde{\omega}}\), and the \(T_1\)-order separation property with respect to \(R^{\widetilde{\omega}}\), if \(\mathfrak{S}=(S_i^\ast)_{i\in I}\) is the stable set of the contracted problem \((\Xi,\widetilde{R})\), then
\[
\mathcal{E}=\{\varepsilon_i \mid \varepsilon_i\in S_i^\ast,\ i\in I\}
\]
is an Extended Stable Set, and every Extended Stable Set has this form [2508.09798]. In other words, the solution is obtained by selecting exactly one representative from each component in the stable set of the contraction.

This representation clarifies the relation to the Schwartz set. The Schwartz set contains whole maximal components, whereas the Extended Stable Set selects representatives at the component level. This suggests that the Extended Stable Set is more discriminating than component-union solutions while remaining explicitly cycle-sensitive.

## 4. Infinite domains and topological characterization of existence

A major contribution of the 2025 framework is the extension of stable sets and their variants from finite alternative sets to **infinite** \(X\). The relation \(R\) is still assumed irreflexive, but need not be transitive, complete, or acyclic. The extended relation \(R^{\widetilde{\omega}}\) is defined in exactly the same way as in the finite case, and its acyclicity continues to hold [2508.09798].

Existence is no longer obtained by finite combinatorics alone. Instead, the paper derives a topological equivalence. Theorem \(\ref{a117}\) states that for an abstract decision problem \((X,R)\), the following are equivalent:
- there exists a non-empty Extended Stable Set of \(R\) in \(X\);
- there exists a **compact topology** \(\tau\) on \(X\) such that \((X,\tau)\) satisfies the \(T_1\)-order separation property with respect to \(R^{\widetilde{\omega}}\), and \(R^{\widetilde{\omega}}\) is **Nachbin closed** [2508.09798].

The paper develops this through a more general topological machinery. It defines weak and strong \(T_1\)-order separation relative to a relation, Nachbin closedness via closedness of the graph of the induced preorder in the product topology, and uses domain-theoretic constructions involving the MacNeille completion, Frink ideals, precontinuity, and the Lawson topology. The Lawson topology on a complete lattice is compact and \(T_1\), and under continuity assumptions the relevant order relation becomes Nachbin closed [2508.09798].

Theorem \(\ref{1a1}\) gives the parallel result for ordinary stable sets under acyclic \(R\): existence of a stable maximal set is equivalent to compactness, \(T_1\)-order separation, and Nachbin closedness of \(R\). The Extended Stable Set theorem then arises by applying this template to the acyclic relation \(R^{\widetilde{\omega}}\) rather than to \(R\) itself [2508.09798].

This yields a precise existence principle: cyclicity in the original dominance relation is not itself the obstacle. The obstacle is whether, after passage to extended dominance, one can endow the domain with a compact order-topological structure compatible with the resulting acyclic relation.

## 5. Interpretation under cyclic preferences and normative role

The Extended Stable Set is motivated by the need to define a valid choice set when maximal alternatives do not exist. Under cyclic dominance, the ordinary core can be empty, and the classical stable set may also fail to exist. The extended dominance relation treats all alternatives inside a top \(P(R)\)-cycle as equipotent and evaluates dominance only across these strongly connected blocks [2508.09798].

Under this interpretation, alternatives within the same cycle are not treated as successively superior and inferior. Rather, they are regarded as members of a single equivalence-like class. If any representative of one class strictly dominates a representative of another, then the entire first class extended-dominates the second. Because the resulting relation is acyclic, the Extended Stable Set can recover a notion of generalized maximality even when no alternative is maximal under the original \(R\) [2508.09798].

The paper emphasizes several decision-theoretic implications. Extended Stable Sets preserve the logic of internal and external stability, are intended to be **core-inclusive**, and are robust to cycles because they do not require arbitrary cycle-breaking. They also treat equipotent alternatives symmetrically and can be applied to social choice rules with cyclic majority relations, bargaining settings, and game-theoretic dominance structures over infinite alternative spaces, provided the topological conditions are met [2508.09798].

A plausible implication is that the Extended Stable Set occupies a middle ground between maximality-based and component-based solution theories. It is more selective than the Schwartz set, because it does not simply return whole maximal components, but less fragile than the classical stable set, because its dominance relation has already been regularized to eliminate cyclic obstruction.

## 6. Non-uniqueness, limitations, and terminological scope

The concept does not guarantee uniqueness. Different selections of representatives from the relevant contracted components yield different Extended Stable Sets. In the finite asymmetric setting cited by the paper, if \(\mathfrak{E}=\{\mathcal{E}_1^\ast,\ldots,\mathcal{E}_k^\ast\}\) is the family of Extended Stable Sets on the contracted problem, then any Extended Stable Set on \(X\) is of the form
\[
W=\{\varepsilon_1,\ldots,\varepsilon_k\},\quad \varepsilon_i\in \mathcal{E}_i^\ast.
\]
Non-uniqueness is therefore structural rather than pathological: it reflects the freedom to choose representatives within equipotent components [2508.09798].

Existence can also fail if the topological side of Theorem \(\ref{a117}\) fails. Although \(R^{\widetilde{\omega}}\) is always acyclic, one may lack a compact topology with the required \(T_1\)-order separation property, or \(R^{\widetilde{\omega}}\) may fail to be Nachbin closed. In that case the equivalence breaks and no Extended Stable Set is guaranteed [2508.09798].

The paper also identifies open directions, including comparison with admissible sets, Duggan sets, and absorbing sets in infinite contexts; weakening compactness or Nachbin closedness; and comparative statics under perturbations of the dominance relation [2508.09798]. These questions indicate that the current framework is a characterization theorem rather than a final comparative taxonomy.

A common terminological confusion arises because “stable set” also denotes an independent set in graph theory, and “extended stable set” may appear in the literature on stable set polytopes and extended formulations. That usage concerns graph optimization and polyhedral complexity rather than social choice solution concepts [1703.07106], [1911.12179]. The Extended Stable Set considered here is the social-choice and game-theoretic refinement based on extended dominance, equipotence classes, and contraction of cyclic dominance relations [2508.09798].

In this sense, the Extended Stable Set is best understood as a cycle-regularized stable-set solution for abstract decision problems: it replaces direct maximization by representative selection from maximal structures of an acyclic quotient relation, and on infinite domains it exists exactly when that quotient relation admits the appropriate compact topological realization [2508.09798].

Source: https://www.emergentmind.com/topics/extended-stable-set