Los subtipos pueden, a su vez, ser tipos de otros subtipos, creándose jerarquías de tipos de entidades.