R118 - modelint/shlaer-mellor-metamodel GitHub Wiki

R118 / 1:1c

Subclass defines subset on b side of zero or one Minimal Partition

Minimal Partition yields subset on b side as exactly one [[Subclass]

---

See R117 substituting b side for a side.

Formalization

Minimal Partition.(Rnum, Domain, B subclass) -> Subclass.(Rnum, Domain, Class)