如果A类型是B类型的子类型，则A类型必然适应于B类型。