()定义类型之间的一种子集联系。