proceeds at the lowest possible average total cost.

These definitions are not equivalent: a market or other economic system may be allocatively but not productively efficient, or productively but not allocatively efficient. There are also other definitions and measures. All characterizations of economic efficiency are encompassed by the more general engineering concept