零律

全集是 并运算 中的零，空集是 交运算 中的零