rmula_10formula_11formula_12formula_13formula_14formula_15formula_16
模煳集的运算.
算子的性质.参见集合代数和布尔代数。主要算子的性质对比表如下（codice_1表示不满足，codice_2表示未验证）：线性补偿是指：formula_17
模煳集与经典集的关系.
截集与截积.设 formula_18，任取 fo