若立方体c|d的每一顶点都被立方体a|b所包含，则称立方体a|b包含c|d，记作：
　　　　　　　　　　　c|da|b
　　立方体间的包含判断可按包含判断表4.4和表4.5以及下述规则进行：
　　　(1) 若对每一输入变量都有(按表4.4)：
　　　　　　　　　　　ciai＝y
　　　(2) 若对于每一输出变量也有(按表4.5)；
　　　　　　　　　　　djbj = y
　　则：　　　　　　　c|da|b

　　　例1
　　　　　　a|b:　 10X|11
　　　　) c|d: 　101|1u
　　-------------------------------------------------
　　　　　　　　　yyy | yy
　　　　　　∴　　c|d a|b

　　　例2
　　　　　　a|b: 　1XX1|10u
　　　　) c|d: 　1011|u01
　　-------------------------------------------------
　　　　　　　　　yyyy | yyn
　　　　　　∴　　c|d a|b

表4.4 输入变量的包含判断

表4.5 输出变量的包含判断

　　立方体间的包含关系是可传递的，即：
　　如果： 　　c|d a|b
　　且： 　　　e|f c|d
　　则： 　　　e|f a|b
　　　　立方体间的包含关系是不可逆的，即：
　　如果: 　　　c|d a|b
　　但 　　　　 a|b c|d
　　不一定成立。

　　·面(face)
　　若立方体a|b包含立方体c|d，则称c|d是a|b的一个面。