7.3.2 子类型和集合