Invariance¶

Version: v3 · 2026-09-16 · History
Prime #: 9
Domain group: Formal Sciences
Origin domain: Mathematics
Also from: Physics, Computer Science & Software Engineering
Aliases: Invariant Property, Conserved Quantity, Coordinate Invariance, Diffeomorphism Invariance, General Covariance, Invariant
Related primes: Symmetry, Duality, Equivariance, Conservation Laws, Isomorphism

Core Idea¶

An invariant is a property or quantity that remains unchanged under certain transformations or processes. Identifying invariants often reveals a system's essential features.

How would you explain it like I'm…

Stays the Same

If you have a ball of clay and roll it into a snake, it looks totally different — but the amount of clay is the same. The shape changed, the amount didn't. That "didn't change" part has a name: invariance. Some things stay the same even when other things get moved around or stretched.

What Doesn't Change When You Change Something

Invariance is when one specific thing stays the same even though other things change. Take a triangle. If you slide it across a table or spin it around, its angles and side lengths stay the same — those are invariant under sliding and spinning. But if you stretch it, the angles might change. So invariance always needs two things to be named: what stays the same, and what kind of change it survives. It's never just "this is invariant" — it's always "this is invariant under that."

Invariance (Preserved Under Transformation)

Invariance is the property of some named feature — a number, a relation, a structural identity — staying unchanged when a named family of transformations is applied. The two parts must come together: an invariance claim is never "X is invariant" but always "X is invariant under T." Length is invariant under rotation but not under stretching. The number of holes in a doughnut is invariant under bending and squishing but not under tearing. Invariance is the cousin of symmetry: symmetry names the transformation you can do, invariance names what survives that transformation. The two are reciprocal. Wherever there's a group of symmetries acting on a system, the invariant quantities are the things you can talk about without worrying about which symmetric version you're looking at.

Invariance is the property of a named feature — a quantity, a relation, a structural identity — remaining unchanged under a named family of transformations. A claim of invariance commits jointly to what is preserved and to which operations preserve it; it is never "X is invariant" in isolation but always "X is invariant under T." Every invariance claim specifies four things: the preserved property, the transformation or group preserving it, the sense of "unchanged" (strict identity, up to isomorphism — same structure under relabelling — or up to equivalence), and the scope outside which the invariance is not claimed. The deeper move is that invariance is the bridge from transformation groups to conserved information: once a property is invariant under a group, it descends to the quotient space (the space of equivalence classes), so reasoning can proceed at the coarser level of orbits rather than raw configurations. This descent is what makes Noether's theorem (each continuous symmetry of the action yields a conserved quantity) work in physics, what makes topological invariants like genus and Euler characteristic classify spaces up to deformation, what makes loop invariants (predicates preserved across each iteration) certify program correctness, and what underwrites modern equivariant deep learning architectures that bake invariance into model structure so learning happens on the quotient rather than the full data.

Cross-Domain Echoes¶

See how this entry connects to another domain.

Broad Use¶

Mathematics (Geometry, Topology): Angles in rigid motions stay constant; the number of holes in a topological shape remains fixed under continuous deformations.
Physics: Energy or momentum can be invariant in specific closed systems.
Computer Science: Loop invariants remain true at every iteration, guiding program correctness.
Social Sciences: Cultural traits (myths, taboos) that persist across generations can be viewed as social invariants.

Clarity¶

Focusing on what does not change amidst transformation often simplifies problem-solving—one can track the core constants rather than all shifting details.

Manages Complexity¶

Invariant analysis cuts through noise by revealing stable anchors, reducing the number of variables one must track.

Abstract Reasoning¶

Highlights how stable properties can be the key to unlocking deeper understanding; it's a universal strategy to find "what's conserved" under a system's evolution.

Knowledge Transfer¶

(empty in source)

System Design¶

Identifying core invariants (e.g., security or reliability constraints) helps maintain robust architectures.

Coaching/Education¶

Encouraging students to look for "what never changes" fosters systematic thinking.

Example¶

In Rubik's Cube solving, certain configurations are impossible to reach if the cube's parity invariant is violated—revealing a critical constraint that remains constant amid legal moves.

Relationships to Other Abstractions¶

Current abstraction Invariance Prime

Foundational — no parent edges in the catalog.

Children (112) — more specific cases that build on this

Adiabatic invariant Domain-specific is a kind of Invariance

What makes it its own entry: Adiabatic here means slow variation, not merely thermodynamic absence of heat flow; separatrix crossings and degeneracies can destroy invariance.
Algebraic cobordism Domain-specific is a kind of Invariance

Invariance is the strict parent because the theory assigns stable algebraic data and compatible maps across admissible geometric transformations.
Artin conductor Domain-specific is a kind of Invariance

The preserved feature is the local integer f(χ) or the global conductor ideal 𝔣(χ).
Bracket polynomial Domain-specific is a kind of Invariance

It remains its own entry because its identity is fixed by the link-diagram carrier, variable and coefficient ring, two smoothing rules, loop value, empty or unknot normalization, state-sum equivalence, Reidemeister-II and III invariance, Reidemeister-I factor and normalization relation to the Jones polynomial.
Characteristic Property Domain-specific is a kind of Invariance

Invariance — the broader abstraction (subsumption). A characteristic property names a feature preserved under the nontrivial transformation of sample amount within a bounded condition scope.

▸ Show 107 more

Colin de Verdière graph invariant Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the finite simple graph, admissible symmetric matrix sign pattern, exactly-one-negative-eigenvalue condition, Strong Arnold property, corank maximization and any minor or embedding characterization.
Collineation Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the source and target projective spaces, fields and dimensions, point bijection, collinearity equivalence, line action, semilinear representative if applicable and automorphism convention.
Contour integration Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the complex domain and function, parametrized oriented contour and regularity, branch cuts and singularities, integral convention, homotopy region and residue or Cauchy theorem conditions.
Controlled Invariant Subspace Domain-specific is a kind of Invariance
Controlled Invariant Subspace strictly **instantiates `prime:invariance`** in a control-mediated form.
Covariant transformation Domain-specific is a kind of Invariance
What makes it its own entry: the domain-specific identity determined by the component rule matches the declared lower-index or dual transformation law and preserves the represented tensor and valid contractions across basis changes.
Deep homology Domain-specific is a kind of Invariance
The concept identifies invariant developmental mechanisms across deep evolutionary divergence.
Definite quadratic form Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the finite-dimensional real vector space, quadratic form q and associated symmetric bilinear form or matrix A, nonzero vectors, positive-definite q(v)>0 or negative-definite q(v)<0 condition, eigenvalue and Sylvester criteria, change of basis and congruence invariance, signature and inertia and distinction from semi and indefinite forms.
Differential invariant Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the manifold or bundle and graphs or submanifolds, transformation or Lie group and action, jet-space order, prolonged action, candidate function on jets, absolute or relative invariance equation, infinitesimal generators, generating set and syzygies, invariant differential operators and application to equivalence of differential equations.
Ehrenfest–Tolman effect Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the stationary spacetime and metric signature, timelike Killing vector xi and its norm, stationary observers, local proper temperature T, equilibrium and absence of heat flow, Tolman relation T times norm xi equals constant, gravitational redshift interpretation, weak-field temperature gradient, horizon and rotation qualifications and contrast with uniform temperature in flat spacetime.
Ergodic process Domain-specific is a kind of Invariance
Ergodicity is defined through invariant events and time-shift-invariant averages.
Ergodicity Domain-specific is a kind of Invariance
Ergodicity is defined by the measure structure of invariant sets under an action.
Extensionality Domain-specific is a kind of Invariance
Identity is invariant under changes of presentation that preserve extension.
Falling cat problem Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the isolated-body and torque assumptions, articulated shape coordinates, mass distribution and inertia tensors, total angular momentum, internal actuation, shape cycle, noncommuting rotations or connection, net orientation, aerodynamic qualifications, and biological-versus-ideal model boundary.
Fixed cost Domain-specific is a kind of Invariance
The cost class is defined by invariance of total amount under changes in one declared activity variable.
Hankel matrix Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the coefficient domain, matrix dimensions, row and column indexing, generating sequence, anti-diagonal rule h_ij equals a function of i+j, finite or operator setting, and any symmetry or rank claims.
HOMFLY polynomial Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the oriented link or diagram, coefficient ring and variables, positive negative and smoothed local diagrams, skein relation, unknot normalization, recursive evaluation and independence of reduction, Reidemeister invariance and specializations to Alexander and Jones conventions.
Hopfian group Domain-specific is a kind of Invariance
The group cannot preserve its isomorphism type under a proper quotient.
Horocycle Domain-specific is a kind of Invariance
The curve has an invariant hyperbolic characterization across coordinate models.
Idempotent measure Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the topological or metric group and Borel sigma-algebra, probability measure, group multiplication and inverse, convolution definition, equation mu star mu equals mu, weak topology, compact-subgroup support and normalized Haar characterization and noncommutative qualifications.
Invariant measure Domain-specific is a kind of Invariance
What makes it its own entry: the domain-specific identity determined by measurable space, transformation or action, sigma algebra, measure class, finiteness assumptions, and the exact invariance equation are declared.
Invariant Sigma-Algebra Domain-specific is a kind of Invariance
Invariant Sigma-Algebra is a strict instance of **Invariance**.
Itô isometry Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the probability space and filtration, Brownian motion or martingale, predictable or adapted integrand, square-integrability, integration interval, stochastic-integral construction, exact expectation equality and extension argument.
J-integral Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the body and crack geometry, material constitutive assumptions, loading and mode, coordinate and sign conventions, contour and integrand, path-independence conditions, units and relation to energy release or toughness.
Jeffreys prior Domain-specific is a kind of Invariance
Its defining benefit is invariance under smooth parameter coordinates.
Knot invariant Domain-specific is a kind of Invariance
The assignment is defined by preservation under knot equivalence.
Knot Polynomial Domain-specific is a kind of Invariance
**`prime:invariance` — the broader abstraction.** The polynomial value is the named feature preserved under ambient isotopy or the declared equivalence.
Linking number Domain-specific is a kind of Invariance
What makes it its own entry: the domain-specific identity determined by two oriented disjoint closed curves and ambient-space convention are fixed, and the signed crossing, integral, or intersection construction yields the same invariant under allowed isotopy.
Lomonosov's invariant subspace theorem Domain-specific is a kind of Invariance
What makes it its own entry: the domain-specific identity determined by the Banach space is complex and infinite-dimensional, the bounded target operator commutes with a specified nonzero compact operator, and the conclusion is a closed invariant subspace distinct from zero and the whole space.
Maurer–Cartan form Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the Lie group and Lie algebra, left or right convention, tangent vector and translation map, Lie-algebra-valued one-form, equivariance and exact sign in the structure equation.
Measurement Invariance Domain-specific is a kind of Invariance
**Invariance** is the broader abstraction this entry instantiates.
Modular Invariance Domain-specific is a kind of Invariance
A designated full torus quantity is preserved under a specified nontrivial modular transformation group.
Morse homology Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the smooth manifold and compactness or boundary assumptions, Morse function and metric, critical points and indices, Morse–Smale transversality, oriented trajectory moduli, chain coefficients and differential, compactness, continuation and isomorphism claim.
Napkin ring problem Domain-specific is a kind of Invariance
The napkin ring problem's entire content is the surprising fact that the remaining volume is invariant under a transformation (changing the sphere's radius) once the band height is fixed, via Cavalieri's principle.
Normal automorphism Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the group and automorphism, complete normal-subgroup family, setwise equality phi of N equals N, induced quotient map, well-definedness and bijectivity, relation to inner class power and family automorphisms and examples separating converses.
Normal measure Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the measurable cardinal kappa, ultrafilter or zero-one measure U on kappa, nonprincipality and kappa-completeness, measure-one terminology, diagonal intersection closure, regressive functions on a U-large set and constant-on-U-large conclusion, ultrapower embedding and image of identity, concentration properties and equivalence of formulations.
Novikov conjecture Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the discrete fundamental group and classifying space, closed oriented manifold, reference map, rational cohomology class, L-class component, pairing formula, orientation-preserving homotopy equivalence and known group-class results.
Nuclear C*-algebra Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the C*-algebra A and arbitrary C*-algebra B, algebraic tensor product, minimal and maximal C*-cross norms and equality, completed tensor product, completely positive contractive maps through finite-dimensional matrix algebras, point-norm approximation of identity, representation and injective-bidual characterizations and distinctions from exact amenable and von Neumann injective algebras.
Parametricity Domain-specific is a kind of Invariance
Parametric behavior remains invariant across type substitution.
Parsimonious reduction Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the source and target problems, instance map and computational bound, source and target solution relations, explicit bijection or count equality, inverse correspondence and use in decision or counting hardness.
Perceptual Constancy Domain-specific is a kind of Invariance
Perceptual constancy is invariance specialized to a stable distal percept under transformations of the proximal sensory input.
Perpetuant Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the binary form and its degree, covariant algebra, coefficient degree and weight or order conventions, reducible products of lower covariants, indecomposable quotient space, stabilization threshold where form degree exceeds weight, dimension formula and basis or classification, generating functions and historical symbolic method.
Pivotal quantity Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the sampling model and parameter space, observations, pivot function and parameter dependence, exact distribution, proof of parameter invariance, nuisance parameters, continuity or discreteness, quantiles and inversion into an inferential statement.
Potential density Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the fluid parcel and composition, observed pressure temperature and salinity or humidity, reference pressure, adiabatic and no-mixing assumptions, equation of state and version, computed density and units, uncertainty and valid pressure range.
Procrustes transformation Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the source and target point configurations and correspondence, dimension, centering, uniform scale convention, rotation and reflection allowance, objective function, fitted transformation, residual and uniqueness conditions.
Quasi-Invariant Measure Domain-specific is a kind of Invariance
Quasi-Invariant Measure strictly instantiates **Invariance** at the level of null sets and measure class.
Quasisymmetric function Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the coefficient ring, countable ordered variables, bounded-degree formal series, exponent composition, increasing index sequences, coefficient-invariance condition, grading, chosen basis, multiplication and coproduct conventions.
Relative contact homology Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the contact manifold and contact form, Legendrian submanifold, Reeb chords or generators, coefficient ring, grading and orientation, almost-complex structure, curve moduli spaces, transversality and compactness, differential, invariance theorem, and exact variant.
Restricted isometry property Domain-specific is a kind of Invariance
**Invariance** is the narrowest accepted prime because RIP preserves norm approximately under a transformation on a specified model set.
Reuleaux polygon Domain-specific is a kind of Invariance
The defining property is invariant width under rotation of the support direction.
Revenue Equivalence Theorem Domain-specific is a kind of Invariance
Revenue Equivalence is invariance specialized to expected seller revenue under auction-format transformations satisfying fixed scope conditions.
Rotation number Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the circle orientation, homeomorphism or map class, lift convention, iterate limit, independence from initial point, modulo-one identification, and regularity assumptions.
Simple space Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the connected based space and homotopy-type convention, fundamental group, its commutativity, higher homotopy groups, change-of-basepoint or deck-transformation action, triviality of that action, universal cover characterization, examples and counterexamples.
State function Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the thermodynamic system and equilibrium state space, state variables, proposed function and units, equation of state, exact differential or integrability, endpoints, path-independence claim and distinction from heat or work.
Stationary sequence Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the probability space, one- or two-sided index set, state space, finite-dimensional distributions, allowable shifts, strict or weak convention, moment existence, and distinctions from independence and ergodicity.
Subject reduction Domain-specific is a kind of Invariance
What makes it its own entry: the domain-specific identity determined by the syntax, typing relation, operational reduction, context discipline, substitution lemma, and exact preservation theorem are fixed and every permitted step retains the type.
Syndetic set Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the ambient additive semigroup or natural numbers, subset S, finite translation set F, left or right translate convention, covering equation, equivalent uniform gap bound on N, least or candidate syndeticity bound, closure under supersets and translations, density implications and distinction from thick piecewise-syndetic and relatively dense sets.
Topological Degree Theory Domain-specific is a kind of Invariance
**Invariance** is the broader abstraction this entry instantiates.
Topological quantum field theory Domain-specific is a kind of Invariance
TQFT observables are invariant under topological deformation.
Transfer principle Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the source and target structures, shared signature or translation, allowed formula class, satisfaction relation, structural relation or construction, theorem asserting preservation, parameter policy, directionality, limitations outside the language and representative transferred consequences.
Unit measure Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the sample space Omega and event sigma-algebra, probability measure P, normalization equation P(Omega)=1, nonnegativity and countable additivity context, exhaustive and mutually exclusive partitions, complement relation, distinction from finite nonunit measures and treatment of impossible or omitted outcomes.
Unitary operator Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the Hilbert space, linear operator and domain, boundedness, adjoint, inner-product identity, surjectivity, inverse relation, spectrum and examples.
Vanishing scalar invariant spacetime Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the Lorentzian manifold and dimension, metric and curvature convention, quantified invariant class and derivative orders, proof of vanishing, Kundt or alignment conditions and nonflat diagnostic.
W-curve Domain-specific is a kind of Invariance
The curve remains invariant under a continuous projective action.
Wallace Neutrality Domain-specific is a kind of Invariance
Wallace Neutrality is a strict kind of Invariance: under its maintained assumptions equilibrium prices and real allocations remain unchanged by public-liability swaps.
Well-colored graph Domain-specific is a kind of Invariance
It remains its own entry because its identity is fixed by the finite undirected graph and vertex set, proper vertex coloring, chosen vertex order, greedy first-fit rule, color count for each order, chromatic number, Grundy number, equality of minimum and maximum greedy counts, forbidden or structural examples and hereditary-status qualifications.
Archetype Prime is a kind of Invariance
An Archetype is a kind of invariance: a structural core of a character, role, or pattern preserved across cultures, media, and historical periods.
Associativity Prime is a kind of Invariance
Associativity is a specialization of invariance whose preserved feature is the result of an operation under regrouping of operands.
Commutativity Prime is a kind of Invariance
Commutativity is a kind of invariance: the result of a binary operation is preserved under the swap-of-operands transformation.
Conservation Laws Prime is a kind of Invariance
Conservation laws are the temporal specializations of invariance in which a specified quantity remains unchanged through a system's allowed evolution.
Coordinate-free Prime is a kind of Invariance
The accepted reference-grade review places Coordinate-free under Invariance because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Equivalence Principle Prime is a kind of Invariance
The equivalence principle is a specialization of invariance in which physics is preserved under the local choice of a free-fall frame.
Equivariance Prime is a kind of Invariance
Equivariance is a kind of invariance: under a coordinated transformation of input and output, the map's structural relation to the group is preserved.
Gauge Invariance / Gauge Symmetry Prime is a kind of Invariance
Gauge invariance is a specialization of invariance whose preserved feature is observable physics and whose transformation group is local gauge transformations.
Half-Life Prime is a kind of Invariance
Half-Life is a kind of invariance: the time to halve a quantity is preserved across all starting amounts for first-order processes.
Idempotence Prime is a kind of Invariance
Idempotence is a specialization of invariance in which the preserved feature is the operation's output and the transformation family is repeated application of the operation.
Periodicity Prime is a kind of Invariance
Periodicity is Invariance specialized to preservation under displacement by a repeat interval.
Renormalization Prime is a kind of Invariance
Renormalization is a kind of invariance: universal long-distance behavior is preserved across the flow's rescalings at a fixed point.
Scale Invariance Prime is a kind of Invariance
Scale invariance is a specialization of invariance whose preserved feature survives the rescaling-by-lambda transformation group.
Stationarity Prime is a kind of Invariance
Stationarity is a specialization of invariance whose preserved feature is a process's statistical distribution under time (or spatial) translation.
Universality in Critical Phenomena Prime is a kind of Invariance
Universality in critical phenomena is a kind of invariance in which long-distance behavior is preserved under changes of microscopic detail.
Balayage Domain-specific presupposes Invariance
The accepted reference-grade review places Balayage under Invariance because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Conservation (Psychology) Domain-specific presupposes Invariance
Correct conservation-task judgment presupposes the target quantity's invariance under appearance change.
De Bruijn Torus Domain-specific is part of Invariance
Repeating the fundamental block preserves the infinite array under translations by either period, a required two-axis invariance.
Euler Characteristic Domain-specific presupposes Invariance
Using Euler characteristic as a homotopy invariant presupposes preservation under a specified equivalence.
IA automorphism Domain-specific presupposes Invariance
IA automorphism presupposes Invariance: the parent's defining role is necessary to the child's frozen mechanism or criterion.
Intrinsic Equation of a Curve Domain-specific presupposes Invariance
**Invariance** is the broader abstraction this entry instantiates.
K-theory Domain-specific presupposes Invariance
K-theory presupposes Invariance: the parent's defining role is necessary to the child's frozen mechanism or criterion.
Linear fractional transformation Domain-specific presupposes Invariance
**Invariance** (`prime:invariance`).
Mathematical Invariant Domain-specific presupposes Invariance
A Mathematical Invariant presupposes the Invariance relation between its assignment and a declared transformation class.
Minimal Polynomial (Linear Algebra) Domain-specific is part of Invariance
The minimal polynomial instantiates **Invariance**.
Position-Independent Code Domain-specific presupposes Invariance
Correct execution of the same code text is preserved under a supported load-base change.
Conjugate Variables Prime presupposes Invariance
Conjugate variables presupposes invariance because the canonical transformation between the two descriptions preserves the underlying physical content.
Continuity Prime presupposes Invariance
Continuity presupposes invariance because the epsilon-delta condition is the preservation of nearness under the mapping.
Data Integrity Prime presupposes Invariance
Data integrity presupposes invariance because preserving accuracy across the data lifecycle is the preservation of intended content under storage, transmission, and processing operations.
Dimensional Analysis Prime presupposes Invariance
Dimensional analysis presupposes invariance because dimensional homogeneity requires that physical laws hold unchanged under unit-system changes.
Frame Problem Prime is part of Invariance
Facts held unchanged under the current action form a constitutive invariant region of every frame-problem solution.
Isomorphism Prime presupposes Invariance
Isomorphism presupposes invariance because a structure-preserving bijection is the family of transformations under which the structure is preserved.
Law (Universal Principle) Prime presupposes Invariance
A Law in the universal-principle sense presupposes Invariance because it asserts that a relation remains valid throughout its declared domain and conditions.
Template Instantiation Prime is part of Invariance
Preservation of the frame and slot semantics across payload substitutions is an internal constituent of template reuse.
Turnover Prime presupposes Invariance
Turnover presupposes invariance because the structural identity of the whole must persist as the named feature preserved under member replacement.
Ostinato Domain-specific is a decomposition of Invariance
Ostinato holds one layer's recognizable figure fixed while transformations and development proceed in the co-present layers around it.
Pedal Point Domain-specific is a decomposition of Invariance
One pitch remains unchanged under the surrounding harmonic transformations, and that preservation is the membership test for the device.
Strophic Form Domain-specific is a decomposition of Invariance
Across the verse-to-verse transformation, the complete musical frame is the property held fixed while only the payload changes.
Symplectic Structure Domain-specific is a decomposition of Invariance
Removing differential-geometric vocabulary leaves a structure preserved exactly under its admissible Hamiltonian flows and canonical transformations.
Tensor Domain-specific is a decomposition of Invariance
Removing multilinear notation leaves a named object preserved under a named nontrivial change of representation, with scope and preserved features explicit.
Linguistic Universals Prime is a decomposition of Invariance
Linguistic universals is the specific shape invariance takes when structural properties are preserved across the world's languages.
Production Signature Prime is a decomposition of Invariance
Source attribution depends on signature features surviving changes of content, occasion, and output instance while non-signature features vary.

Not to Be Confused With¶

Invariance is not Symmetry because invariance is the property that something does not change under a transformation, whereas symmetry is the existence of a transformation that leaves something unchanged; symmetry emphasizes the transformation, invariance emphasizes the non-change.
Invariance is not Conservation because invariance is a mathematical or structural property of non-change, whereas conservation is the principle that a quantity does not change in a closed system; conservation is typically about quantities (energy, momentum), invariance can apply to any property under specified transformations.
Invariance is not Equivalence because invariance is the property of remaining unchanged under transformation, whereas equivalence is the relation that two things are equally valid or can be substituted; invariant properties may characterize equivalent systems, but the concepts target different structural features.