在布尔逻辑的积项和式中(和项积式亦可)，乘积项"P" 是布尔函数"F" 的蕴涵项（），如果 "P" 蕴涵 "F"。更加准确的说：这意味着在布尔空间的自然次序上 P⇒F。比如，函数蕴涵自 formula_2，formula_3，formula_4，formula_5 和很多其他的项: 它们是 formula_6 的蕴涵项。威拉德·冯·奥曼·蒯因定义：使用上面的例子，你可以轻易的看到尽管 formula_2（和其他的项）是素蕴涵项，formula_3 和 formula_4 不是。从后者，可