A property of an economic model that is derived (deduced) from its assumptions. It usually takes the form of a prediction about something that would be true in the world if the world conformed to the model's assumptions, and perhaps also to additional assumptions specified in the proposition.