An entity supertype can have disjoint or overlapping entity subtypes.