---
title: Maximality Inheritance Principle
url: https://www.emergentmind.com/topics/maximality-inheritance-principle
type: topic
---

# Maximality Inheritance Principle

The Maximality Inheritance Principle is, in its order-theoretic formulation, a least-upper-bound version of a Zorn-type maximality argument: if a nonempty poset \((P,\leq)\) has least upper bounds for all well-ordered subsets and admits a choice selector on strict upper cones, then \(P\) has a maximal element [2605.08274]. In the framework of "Bourbaki--Zorn Normal Forms for Maximality Arguments" [2605.08274], this conclusion is obtained by passing through a fixed-point mechanism for progressive self-maps. In other parts of the literature, the same expression is used for the inheritance of forceably necessary truths in forcing and resurrection theory, and for a gap-propagation proof method in stochastic-game verification [2006.03655] [2508.06088].

## 1. Order-theoretic formulation

A partially ordered set, or poset, is a pair \((P,\leq)\) where \(\leq\) is reflexive, antisymmetric, and transitive. Writing \(x<y\) means \(x\leq y\) and \(x\neq y\). A map \(f:P\to P\) is progressive if
\[
\forall x\in P,\quad x\leq f(x),
\]
and strictly progressive if
\[
\forall x\in P,\quad x<f(x).
\]
For \(x\in P\), the strict upper cone is
\[
U(x)=\{y\in P: x<y\}.
\]

The formal Maximality Inheritance Principle isolated in [2605.08274] is the following: suppose \((P,\leq)\) is nonempty, every well-ordered subset of \(P\) has a least upper bound in \(P\), and there exists a choice selector \(c\) on strict upper cones, meaning that whenever \(U(x)\neq\varnothing\), one has
\[
c(x)\in U(x).
\]
Then \(P\) has a maximal element.

The principle is called an “inheritance” mechanism because the global least-upper-bound property of the poset, combined with local choice of strict successors, forces maximality. The paper emphasizes that the contribution is methodological rather than axiomatic: it makes explicit a reusable proof architecture connecting Bourbaki–Witt fixed points, strict progression obstructions, and least-upper-bound versions of Zorn-type maximality arguments [2605.08274].

## 2. Bourbaki towers and the normal form

The central construction is the Bourbaki \(f\)-tower generated by a progressive map \(f\). Fix \(x_0\in P\). A Bourbaki \(f\)-tower based at \(x_0\) is a well-ordered subset \(Y\subseteq P\) such that \(x_0\) is the least element of \(Y\); if \(y\in Y\) is not the largest element, then its successor in \(Y\) is
\[
\mathrm{succ}_Y(y)=f(y);
\]
and for each \(y\in Y\setminus\{x_0\}\), the least upper bound
\[
\sup(IS_Y(y))=\mathrm{lub}_P(IS_Y(y))
\]
exists in \(P\) and belongs to \(Y\), where
\[
IS_Y(y)=\{z\in Y\mid z<y\}.
\]
Thus the tower is closed under successor steps and least upper bounds of initial segments [2605.08274].

Under the hypothesis that every well-ordered subset of \(P\) admits a least upper bound, Bourbaki towers based at the same \(x_0\) are linearly ordered by initial segment. The comparison lemma states that if \(Y\) and \(Y'\) are Bourbaki \(f\)-towers based at the same \(x_0\), then one is an initial segment of the other. The proof uses the common weak initial part
\[
V=\{y\in Y\cap Y'\mid WIS_Y(y)=WIS_{Y'}(y)\},
\]
where \(WIS_Y(y)=\{z\in Y\mid z\leq y\}\), and rules out branching both at successor stages and at limit stages by uniqueness of least upper bounds [2605.08274].

Because the class \(\mathcal T\) of all such towers is linearly ordered by inclusion, one may define
\[
\Omega_f(x_0)=\bigcup_{Y\in\mathcal{T}}Y.
\]
This union is itself a Bourbaki \(f\)-tower. It is well-ordered, successor steps are still generated by \(f\), and limit stages remain canonical because the least upper bound of each initial segment is determined inside some constituent tower and therefore also lies in the union. The object \(\Omega_f(x_0)\) is therefore the largest Bourbaki tower generated by \(f\) from \(x_0\) [2605.08274].

## 3. Terminal fixed points, strict progression, and maximality

The largest tower has a terminal least upper bound that is a fixed point. Writing
\[
\omega=\sup\Omega_f(x_0)=\mathrm{lub}_P\big(\Omega_f(x_0)\big),
\]
the argument in [2605.08274] shows first that \(\omega\in\Omega_f(x_0)\): otherwise adjoining \(\omega\) after all elements of the tower would produce a larger Bourbaki tower, contradicting maximality. Second, \(f(\omega)=\omega\): progression gives \(\omega\leq f(\omega)\), but if \(f(\omega)>\omega\), adjoining \(f(\omega)\) as successor of \(\omega\) again enlarges the tower, a contradiction. This is the Bourbaki Tower Normal Form.

An optional strengthening applies when \(f\) is monotone. If the tower is described transfinally by
\[
x_0,\quad x_{\alpha+1}=f(x_\alpha),\quad x_\lambda=\sup\{x_\beta:\beta<\lambda\}\text{ for limit }\lambda,
\]
and \(\kappa\) is the stage at which maximality prevents further extension, then
\[
x_\kappa=\sup_{\alpha<\kappa}x_\alpha
\]
satisfies \(f(x_\kappa)=x_\kappa\) by a direct Bourbaki–Witt style limit-stage calculation. The paper stresses, however, that its tower-maximality proof obtains the same conclusion without assuming monotonicity [2605.08274].

The fixed-point conclusion immediately yields the strict progression obstruction. If every well-ordered subset of \(P\) has a least upper bound, then there is no strictly progressive self-map \(f:P\to P\). Indeed, a strictly progressive map would generate a largest Bourbaki tower with terminal least upper bound \(\omega\) satisfying \(f(\omega)=\omega\), contradicting \(f(\omega)>\omega\) [2605.08274].

The Maximality Inheritance Principle then follows by contradiction. Assume \(P\) has no maximal element. Then \(U(x)\neq\varnothing\) for all \(x\in P\), so a choice selector \(c\) on strict upper cones defines a map \(f(x)=c(x)\in U(x)\). This map is strictly progressive, which is impossible under the least-upper-bound hypothesis. Therefore \(P\) has a maximal element. The paper summarizes the proof architecture in the sequence: choice selector \(\Rightarrow\) strict progression \(\Rightarrow\) Bourbaki tower \(\Rightarrow\) fixed point \(\Rightarrow\) contradiction [2605.08274].

## 4. Relation to Zorn’s lemma and Bourbaki–Witt

The framework is explicitly compared with both classical Zorn’s Lemma and the Bourbaki–Witt fixed-point theorem. Classical Zorn assumes that every chain has an upper bound and concludes that there is a maximal element. The Bourbaki–Zorn normal form instead assumes the stronger, canonical condition that every well-ordered subset has a least upper bound. This canonicity at limit stages is what drives the tower comparison lemma: different towers cannot branch because the limit value is uniquely determined by the initial segment [2605.08274].

The similarity to Zorn’s Lemma is that both arguments produce maximal elements from chain-like transfinite constructions. The difference is that the Bourbaki–Zorn normal form uses canonical least upper bounds at well-ordered limits, thereby avoiding global choices at limit stages and simplifying comparison. In Zorn’s setting, only upper bounds are guaranteed, not least upper bounds, so different choices at limits may lead to incompatible extensions unless additional choice or bookkeeping is supplied [2605.08274].

Relative to Bourbaki–Witt, the paper isolates a normal form in a slightly different hypothesis regime. Bourbaki–Witt is usually stated for posets in which every chain has a supremum and for monotone progressive maps, yielding fixed points. Here, least upper bounds for well-ordered subsets suffice to build a largest Bourbaki tower and force a fixed point for progressive \(f\), without explicit monotonicity assumptions, by an extremal argument on towers. When \(f\) is monotone, the familiar identity
\[
f\Big(\sup_{\alpha<\kappa} x_\alpha\Big)
=
\sup_{\alpha<\kappa} f(x_\alpha)
=
\sup_{\alpha<\kappa} x_{\alpha+1}
=
\sup_{\alpha<\kappa} x_\alpha
\]
reappears as a direct limit-stage computation [2605.08274].

The paper also records typical settings in which the framework applies. These include complete lattices, where every subset has a least upper bound; posets closed under suprema of increasing transfinite sequences; and classical algebraic contexts in which unions of well-ordered chains of substructures provide least upper bounds. By contrast, \((\mathbb N,\leq)\) fails the least-upper-bound condition for the well-ordered subset \(\mathbb N\) itself, so the framework cannot conclude maximality there. The choice requirement is local: full Axiom of Choice is not needed; any choice sufficient to select a strict successor for each non-maximal element suffices [2605.08274].

## 5. Modal and resurrection-theoretic interpretations

In set theory, “maximality inheritance” is used in a distinct modal sense. For a definable forcing class \(\Gamma\), the Maximality Principle is the schema
\[
\forall\varphi\;[(\Diamond_\Gamma\Box_\Gamma\varphi)\to\varphi],
\]
or equivalently, under the usual closure assumptions on \(\Gamma\), “every \(\Gamma\)-forceably \(\Gamma\)-necessary sentence is already \(\Gamma\)-necessary” [2006.03655]. In "Combining Resurrection and Maximality" [2006.03655], the Maximality Inheritance Principle is the phenomenon whereby forceably-necessary truths, relative to \(\Gamma\), are inherited back to the ground model and preserved across \(\Gamma\)-extensions via elementarity “resurrection.”

The formal chain emphasized there is
\[
RA_\Gamma(H_\kappa)\Rightarrow LMP_\kappa(\Gamma)\Rightarrow BFA_\kappa(\Gamma).
\]
Here \(RA_\Gamma(H_\kappa)\) is a resurrection axiom asserting that after any \(\Gamma\)-forcing one can force further so that \(H_\kappa^V\prec H_\kappa^{V[g*h]}\), and \(LMP_\kappa(\Gamma)\) is a local maximality principle over \(H_\kappa\). The implication \(RA_\Gamma(H_\kappa)\Rightarrow LMP_\kappa(\Gamma)\) expresses the inheritance step: if a statement about \(H_\kappa\) becomes forceably necessary, then elementarity in a resurrected extension reflects it back to the ground structure [2006.03655].

Several other papers place this modal reading in a broader hierarchy. "A Mid Version of Hamkins' Maximality Principle" formulates \(\Box_{c.c.c.}MP(\mathbb R)\), where \(MP(\mathbb R)\) uses unrestricted forcing modalities but is required to hold in every c.c.c. extension; the paper describes this as a robust inheritance principle for reals under c.c.c. forcing and proves it equiconsistent with the existence of a weakly compact cardinal \(\kappa\) such that \(V_\kappa\prec V\) [1506.03902]. "Separating Maximality Principles" shows that no implication between \(\Sigma_n\)-\(\mathsf{MP}(\mathbb R)\) and \(\Pi_n\)-\(\mathsf{MP}(\mathbb R)\) is provable in \(\mathsf{ZFC}\), so inheritance across complexity levels fails in general [2508.16506]. In the potentialist setting, S5-validity at a world is itself called a potentialist maximality principle, and its persistence is highly system-dependent: in countable-transitive-model potentialism it is persistent for a fixed countable language, whereas in rank, Grothendieck–Zermelo, and transitive-set potentialism it is not generally inherited upward because the required correctness properties need not persist [1708.01644].

## 6. Algorithmic and reverse-mathematical analogues

A further use of the expression appears in stochastic-game verification. "Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games" isolates a proof method called the Maximality Inheritance Principle and applies it to a bounded value iteration algorithm, 2WP-BVI, for finite two-player turn-based stochastic games with reachability objectives [2508.06088]. There the relevant operators are the reachability Bellman operator \(F\), a widest-path Bellman operator \(B_u\), and the widest-path operator \(W(u)=\mu(B_u)\). The key theorem proves
\[
\mu(F)=V=\nu(W),
\]
so \(W\) has a unique fixed point at the value function \(V\) [2508.06088].

The proof uses a gap-maximizer argument. Assuming a gap between \(\mu(F)\) and \(\nu(W)\), one chooses a state \(s^\star\) maximizing \(\nu(W)-V\). By the max-vs-average lemma, if a maximum equals an average under a probability distribution, then all positively supported successors have the same value. This forces maximality of the gap to be inherited to successors under suitable optimal actions. In the resulting subgame, the inherited positive gap implies that the target set is unreachable, contradicting the positivity of the widest-path width. The same paper presents this as an abstraction of a classical Markov-chain uniqueness proof associated with Baier–Katoen’s Theorem 10.19 [2508.06088].

In reverse mathematics, the phrase itself does not appear in "Reverse mathematics and equivalents of the axiom of choice", but the paper identifies the closest countable analogues of such maximality principles as the Finite Character Principle (FCP), the Finite Intersection Property maximality principle (FIP), and the closure extension principles CE and NCE [1009.3242]. In that setting, FCP is the general scheme that every finite-character property admits \(\subseteq\)-maximal subsets, while FIP and \(\overline{D}_n\)IP are intersection-maximality schemata. The paper shows that these principles disperse widely across the reverse-mathematical hierarchy: for example, \(DnIP\equiv ACA_0\), FIP is strictly weaker than \(ACA_0\) and incomparable with \(WKL_0\), full FCP is equivalent to \(Z_2\), \(QF\)-CE is equivalent to \(ACA_0\), and \(QF\)-NCE is equivalent to \(\Pi^1_1\)-\(CA\) [1009.3242].

Across these settings, the common structural theme is not a single theorem but a recurring template: a local extension or persistence condition is converted into a global maximality or uniqueness conclusion. In the order-theoretic normal form, local choice on strict upper cones together with least upper bounds for well-ordered subsets yields a maximal element [2605.08274]. In forcing, resurrection turns forceable necessity into truth in the ground model [2006.03655]. In stochastic games, maximality of a hypothesized fixed-point gap propagates to successors until it contradicts reachability structure [2508.06088].

Source: https://www.emergentmind.com/topics/maximality-inheritance-principle