最小项
质蕴含