tion::::法则.从基本定义可导出一套描述条件独立的重要法则。因这些推论在任何机率空间中都成立，因此也对所有变量关于另一变量的条件概率分布成立，只需考虑相应子空间即可。譬如说formula_3也就意味着formula_4。注：位于算式下方的逗号意为“和”。
分解.证明：同理可证"X"和"B"条件独立。
微弱的联合.证明：