A representation of a property or system used to make predictions and to test observations against assumptions.