您要查找的是不是：
- 蘊涵運算元implication operator
- 蘊涵運算元族family of implication operator
- 蘊涵運算元Lpimplication operator Lp
- NMp蘊涵運算元implication operator NMp
- 蘊涵運算元Rpimplication operator Rp
- 運算元operator
- 蘊涵contain
- Luk蘊涵運算元Lukasiewicsz implication operator
- 強蘊涵運算元Strong implication operators
- 卜運算元Song Of Divination
- 蘊涵圖implication diagram
- δ運算元δ-operator
- 蘊涵代數implication algebras
- "或非" 運算元NOR operator
- 形式蘊涵formal implication
- 譜運算元spectral operator
- 永真蘊涵tautological implication
- 流形上的偏微分運算元partial differential operator on manifold
- Ｍ－生長運算元M-accretive operator
- 伴運算元adjoint operator
