离散蕴涵数I:L_n^2->L_n定义在有限链L_n={0,1，…，n}上，满足关于离散t-范数t的输入定律，即二进制函数I:L_n^2->L _n的数量，使得I在第一个参数中减少，在第二个参数中增加，I（0,0）=I（n，n）=n和I（n、0）=0（离散蕴涵），并且I（T（x，y），z）=I（x，I（y，z）），对于L_n中的所有x，y，z（关于离散T-范数T的输入定律）。离散t范数t是一个二元算子t:L_n^2->L_n，使得t在每个自变量中都是递增的，交换的（t（x，y）=t（y，x）对于L_n中的所有x，y），结合的（t（x，t（y，z））=t（t（x，y），z）对于L_n中的所有x），并且具有中性元素n（t（x，n）=x对于L_n中的所有x）。
