Definition of an Efficient Market