7.1.2 子类型的基本性质