关于蕴涵算子的推广

给出了蕴涵算子的定义，并讨论了蕴涵算子的一些基本性质。