一般采用 互相包含的方法
证明 假设 对任意的 a 属于 (A♁B)♁C 则 a 也属于 A♁(B♁C).
同时 再证明 对任意的 b 属于 A♁(B♁C) 则 b 也属于(A♁B)♁C .
这里 主要是看♁定义是什么.