类型:蕴涵