参见集合代数和布尔代数。主要算子的性质对比表如下（codice_1表示不满足，codice_2表示未验证）：线性补偿是指：formula_141
模煳集之间的距离.
使用度量理论.可以使用一般的度量理论来描述模煳集之间的距离。在这个意义上，我们需要在模煳幂集formula_89上建立一个度量，此外，我们还可能需要将此度量标准化，也即映射到formula_3区间上。例如可以这样来标准化 Minkowski 距离：<br>
贴近