4.3 立方体运算

4.3.4 星积运算
　立方体的星积运算(star product)又称相容运算或合意运算(cousensus)，用于求质立方体。设有两个单输出变量的立方体a | 1和b |1，并简写作a和b，我们定义:
　　　c = a * b
　c是星积运算所得的新立方体，c既不被a包含也不被b包含，c是被a∪b包含的顶点所构成的最大的一个立方体．图4.7和图4.8是按上述定义作出的两个实例。