Definition

An equation which expresses exactly certain relationships that must exist among related quantities, which are not independent of one another, exist a priori, and are separate from relationships demanded by OBSERVATION.