El tipo de los elementos ha de ser un subtipo definitivo ("definite subtype"), es decir, un subtipo cuyos objetos tienen un tamaño definido.