Sub-typing (Merise)
What is sub-type?
An entity B is a sub-type of entity A. This assumes that all instances of entity B are also instances of entity A. In other words, B is a subset of A.
Example A: Person, B: Bostonian.
B being a subset of A, the instances of entity B "inherit" the characteristics of those in entity A.
It is therefore unnecessary to redescribe for entity B:
its properties
Its associations