你这里的“蕴涵”属于逻辑名词。

判断中前后两个命题间存在某一种条件关系；叫做蕴涵；表现形式是“如果…则…”。例如：“如果温度升高则寒暑表的水银柱上升”。