At the level of Choice, invariants specify what must remain fixed for an individual decision to qualify as a coherent economic object. While laws of choice restrict which preferences, selections, and transitions are admissible, invariants identify what those laws preserve across all admissible variation. They define the structural features of choice that cannot change without either violating the law or abandoning the framework of economic decision-making altogether.
Choice invariants operate entirely at the individual level. They do not depend on interaction with other agents, institutional coordination, or aggregation. Instead, they anchor internal coherence: how preferences relate to one another, how feasibility constrains selection, and how extremal conditions rule out dominated alternatives. Variation is permitted—choices can differ across situations—but only in ways that respect these preserved structures.
By making these invariants explicit, the template separates lawful choice variation from inconsistency, contradiction, or indeterminacy. What changes from one decision to the next is secondary; what matters structurally is what must remain the same for the concept of choice itself to remain well-defined.
SAT – Structure – Invariants – Choice (Microeconomic Foundations)
| Invariant | What stays fixed | What variation must respect |
|---|---|---|
| Balance | Feasibility equality between resources and uses | All choices must satisfy budget or constraint balance |
| Symmetry | Preference structure under relabeling | Renaming goods or units does not alter preference order |
| Stability | Internal consistency of preferences | No cycles or contradictions across choice situations |
| Optimality | Non-dominated choice | No feasible alternative strictly improves on the chosen option |
| Distribution | Choice probability structure (stochastic choice) | Aggregate choice frequencies follow the same distribution |
Taken together, the invariants of Choice define the minimum structural commitments of microeconomic foundations. They ensure that preferences remain comparable and consistent, that selections respect feasibility, that chosen options are not dominated, and that probabilistic choice—where allowed—preserves a stable statistical structure. Violations at this level do not signal inefficiency or error in behavior; they indicate that the object under study no longer satisfies the conditions required to be treated as an economic choice.
Crucially, these invariants do not explain decisions, predict outcomes, or justify behavior. They function as filters, not mechanisms. Only decision processes that preserve these invariants can be meaningfully analyzed, compared, or embedded within higher layers of economic structure.
Choice invariants therefore establish the foundation on which all subsequent economic structure rests. Without them, interaction cannot be coherently defined and aggregation cannot be meaningfully constrained. With them, individual decisions become structurally admissible inputs into markets, mechanisms, and macroeconomic systems.