- An instance of a subtype participates in a relationship that is unique to that subtype.
- An instance of a subtype participates in a relationship that is the same as the other subtypes.
- Attributes apply to all of the instances of an entity type.
- No attributes apply to any of the instances of an entity type.