A subset of a Cartesian product is not a Cartesian product. inb4, spare me the wisecrack “It's the Cartesian product of itself and no other factors”.
Couldn't taking the subset of a Cartesian product be considered to be dealing with one?
Even if you stick to ordinary (inner) joins, they are pullbacks, not products.