Hi,
As Ken explains, types are sets. Hence, they are treated different to those of OO approaches. For example, here, "Each subtype graph must stem from exactly one primitive entity type (...) that is the common supertype, or root node (or top) of that graph." [taken from Terry's Book, pag. 243]. Adding a common supertype to the ...