Decidability of the decision problem for Boolean set theory with the unordered Cartesian product operator

We solve the decidability problem for Boolean Set Theory with unordered cartesian product.