Fama (1970) defined an efficient market as one in which prices always “fully reflect” available information. This paper formalizes this definition and provides various characterizations relating to equilibrium models, profitable trading strategies, and equivalent martingale measures. These...