When an entity instance must be a member of only one subtype, it is which of the following?

• Disjoint with total specialization
• Disjoint with partial specialization
• Overlap with total specialization
• Overlap with partial specialization