蕴含且不蕴含匹配