An operation between Sets that gives a new set composed of Tuples of elements from the original sets.
For instance is the set of all pairs of elements, one from and one from . is the set of all triplets of elements, one from , the second from , and the third from . And so on.