The inheritance relations among a set of classes define graph structure of classes
This graph structure is, in general, acyclic