证明：设任意的（x,y)∈(A∩B)*(C∩D) 则x∈(A∩B),y∈(C∩D)
        x∈A,x∈B,y∈C,y∈D
        所以（x,y)∈A*C,（x,y)∈B*D   （x,y)∈(A*C)∩(B*D)
         故(A∩B)*(C∩D）被(A*C)∩(B*D)包含。
          同理设（x,y)∈(A*C)∩(B*D)可以
          证明(A*C)∩(B*D)被(A∩B)*(C∩D）包含。
          证毕。