考虑一个二元运算f,当第一个参数c属于第二个参数x时,取值为1,否则为0

现在从全集中任取一个元素e,那么用f(e, _)就可以把对称差这个运算过程变为一个模2的加法


【 在 cleaf (Sep|Apr) 的大作中提到: 】
: 书中有一个提示，但没理解如何按照这种思路证明？
: 提示：模2加法是结合的。
: 没理解模2加法和对称差怎么关联。
: ...................
--
FROM 125.34.214.234