卓正涵织带 zhuo zhenghan ribbon
正则涵数 regular function
真正的涵义是改过自新 turn over a new leaf
正则RL型蕴涵 regular RL-type implication
正则蕴涵格 regular implication lattice
正常蕴涵算子 Normal Implication Operator
正涵
Positive culvert
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动