The conforms-relation is of particular interest in this section. To distinguish the conforms-relation between provided type and complete type is called conforms, the one between complete type and implementation type is called impl-conforms.
To sum up: the inheritance structure is part of the concepts of the meta-model, whereas the conforms-relations describe instance relations.
For example every complete type has a provided type it conforms to - the provided type it describes itself. Every implementation type is a complete type and a provides type. Further more every complete type conforms to itself and every implementation type conforms and impl-conforms to itself.