A collection of verbal and symbolic assertions that specify how and why variables are related, and the conditions under which they should and should not relate