We know that given two non - void sets, say and , their is defined as .
For eg. If and , then their Cartesian product is defined as .
I was wondering what if the set itself consists of ordered pairs, like what if and say , then how do we define the ?
One thing that I've observed is that ,in case, if the set that consists of ordered pairs ( n-tuples in general) can be expressed as Cartesian product of simple sets (sets that consists of numbers only), then the overall cartesian product can be found. What I mean is
Say, and and is to be found, then one can proceed as follows :