ということは(A×B)^2とB^3では列の数が違うので、例えば、

|(A×B)^2 ∩ B^3|=0

ってことでいいんでしょうか?