Подтипы и супертипы:

одна сущность является обобщающим понятием для группы подобных сущностей (рисунок 4.9).