任取元素∈(A-B)×C,则x∈A-B且y∈C,所以x∈A且x不属于B且y∈C,所以∈A×C且不属于B×C,所以∈(A×C)-(B×C).所以(A-B)×C包含于(A×C)-(B×C).
任取元素∈(A×C)-(B×C),则∈A×C且不属于B×C.由∈A×C得x∈A且y∈C.又不属于B×C,所以x不属于B.所以x∈A且x不属于B,所以x∈A-B.所以x∈A-B且y∈C.所以∈(A-B)×C.所以(A×C)-(B×C)包含于(A-B)×C.
所以,(A-B)×C = (A×C)-(B×C).