4.3 立方体运算


4.3.3 锐积运算
 锐积运算的性质如下:
 (1) 不服从一般的交换律:
   a # b ≠ b # a
 (2) 不服从一般的结合律:
   (a # b) # c 1 a # (b # c)
 (3) (a # b) # c = (a # c) # b
 (4) (a∪b) # c = (a # c)∪(b # c)
 (5) (a∩b) # c = (a # c)∩(b # c)
 (6) a # (b∪c) = (a # b) # c
 (7) a # (b∩c) = (a # b)∪(a # c)