R312 - modelint/flatland-model-diagram-editor GitHub Wiki

R312 / Generalization

Compartment Box is an Envelope Box or Section Box

---

Both an Envelope and a Section Box are, by definition, partitioned.