hierarchy of types

Мат. иерархия типов