The Choice layer specifies the most basic structural constraints of economics: the conditions under which an individual decision can be treated as a well-defined economic object. This layer does not explain why agents choose as they do, nor does it model learning, psychology, or interaction. Its sole function is to determine which configurations of preferences and selections are admissible and which are ruled out before any aggregation or strategic interaction is considered.
The laws at this level formalize the internal coherence of choice. They constrain preference orderings, feasible selections, and the consistency of observed behavior across decision situations. Some of these laws are axiomatic—defining what it means to have preferences at all—while others are formal consequences that follow once additional structure is imposed. Together, they establish the minimal conditions under which choice can be represented, analyzed, and compared without contradiction.
Without these constraints, economic choice collapses into description rather than structure. With them, choice becomes a domain governed by admissibility rather than narrative.
SAT – Structure – Laws / Relations – Choice (Microeconomic Foundations)
| Law | Description | Syntax | Constrained Object | Invariant | Condition |
|---|---|---|---|---|---|
| Completeness of Preference | Any two feasible alternatives are comparable or indifferent. | Identity | State space | Symmetry – complete ordering | Structural assumptions – well-defined option set |
| Transitivity of Preference | Preferences are internally consistent and non-cyclical. | Identity | State space | Stability – consistent ordering | Structural assumptions – stable preferences |
| Feasibility (Constraint Satisfaction) | Choices must lie within the feasible set. | Constraint | State space | Balance – resource feasibility | Institutional / boundary rules – budget, technology |
| No Dominated Choice (Optimization) | The chosen option is not strictly worse than another feasible option. | Equilibrium | State space | Optimality – no dominating alternative | Structural assumptions – preference comparability |
| Consistency of Choice (Revealed Preference) | Choices do not contradict across overlapping opportunity sets. | Identity | Trajectory space | Stability – behavioral coherence | Structural assumptions – fixed preferences |
| Utility Representation | Preferences admit a utility representation preserving rank. | Identity | State space | Symmetry – ordinal equivalence | Structural assumptions – completeness + transitivity |
| Local Non-Satiation | Arbitrarily close preferred alternatives exist. | Constraint | State space | Optimality – improvement direction | Scale / regime – continuous goods |
| Optimality Conditions (FOC / KKT) | Chosen options satisfy necessary optimality conditions. | Equilibrium | State space | Optimality – extremal condition | Structural assumptions – differentiability |
| Comparative Statics | Parameter changes induce systematic choice responses. | Dynamic | Trajectory space | Stability – directional response | Scale / regime – small perturbations |
| Stochastic Choice Regularity | Choice probabilities obey internal consistency constraints. | Probabilistic | Trajectory space | Distribution – stable choice frequencies | Statistical conditions – random utility regime |
Taken together, the laws of Choice define a closed structural core: they restrict which preference orderings, selections, and choice trajectories are possible, independent of markets, institutions, or other agents. Violations at this level do not indicate inefficiency or suboptimality; they indicate that the object under study no longer qualifies as an economic choice in the formal sense.
Importantly, these laws do not scale upward on their own. They say nothing about coordination, prices, equilibrium, or aggregate outcomes. Their role is preparatory and foundational: they ensure that when interaction is introduced and aggregation attempted, the underlying decision units are internally coherent and structurally admissible.
Choice, therefore, is not a behavioral theory. It is a consistency filter. Only after passing through this filter can economic systems meaningfully support interaction, mechanisms, and higher-level structure.