A semantically closed abstraction of a system; a complete description of a system from a particular perspective (complete means that no additional information is needed to understand the system from that perspective); a set of model elements. Two models cannot overlap.