R103 - modelint/shlaer-mellor-metamodel GitHub Wiki

R103 / 1:1

Generalization requires exactly one Superclass

Superclass is required by exactly one Generalization

---

A Generalization is defined as a single Superclass and at least two Subclasses.

Here we establish that every Generalization defines a Superclass role for some Class.

Formalization

Generalization.(Rnum, Domain, Superclass) -> Superclass.(Rnum, Domain, Class)