A large variety of di erent concepts have been introduced to express the subtypes and inheritance. Single inheritance, multiple inheritance, independent multiple inheritance and delegation are all various forms of subtyping and inheritance. In this paper, we give a structural framework for the semantics of these concepts that allows one to distinguish them in a precise manner. This framework ac...