辞海

释义：yùn hán
1.包含。
2.逻辑名词。判断中前后两个命题互为条件的关系叫"蕴涵"。表现形式是"如果……则……"。