Disjointess contraint:
determines whether a supertype can have one or more than one subtypeDisjoint Rule: each supertype may have only one subtypeIndicated with a letter ‘d’ in the circleOverlap Rule: a supertype may have more than one subtypeIndicated with a letter ‘o’ in the circle