Given any set of feasible social choice functions F, if the social choice function f() is ex-ante efficient in F, then it is also interim efficient in F.
A social welfare functional (or social welfare aggregator) is a rule that assigns a social preference to every possible profile of individual preferences.
Suppose there is an odd number of individuals. If preferences are single-peaked then the social preference that arises from pairwise majority voting is complete and transitive.
Let pt and yt be a list of price vectors and associated net output vectors. Profit maximization implies pt*yt >= pt*ys for all t and s. This is the Weak Axiom of Profit Maximization (WAPM).
(p,q,J) with J number of firms is a long-run competitive equilibrium if: (i) q maximizes profits given p, (ii) demand equals supply, and (iii) firms make zero profit.
If u(x) is continuous and strictly increasing, then e(p,u): (i) equals 0 at the lowest utility level, (ii) is strictly increasing in u, and (iii) is unbounded above in u.