R1 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1 / 1:M

Domain Partition defines initial element number in exactly one Subsystem

Subsystem is numerically partitioned by exactly one Domain Partition

---

The elements of a Subsystem (Relationships, Classes, ...) are numbered starting from a Domain Partition up to the next higher Domain Partition. When starting from the highest valued Domain Partition, there is no explicit upper limit. So if a given Subsystem has a Domain Partition of 100, let's say, and the next highest partition in the same Domain is 150, Relationships, let's say, can be named R100, R101, ... R149—similarly for Classes.