根据条件有：B包含C补，对两边取补运算，则C包含B补（1），又由于条件：B补包含A，根据传递关系，有C包含A。（1）若B包含C补，则C包含B补。证明：任选元素e属于B补，显然e不属于B，由于B包含C补，那显然e也不属于C补，于是，e属于C，证毕。
