Even if each of the is nonempty, the Cartesian product may be empty in general.
Note that this is different from the standard cartesian product of functions considered as sets.
All three can similarly be defined for the Cartesian product of more than two sets.
See also orders on the Cartesian product of totally ordered sets.
The composite or record type is a Cartesian product with labels for the fields.
It is a cartesian product as a set, but with a particular multiplication operation.
Thus the superstructure will contain the various desired Cartesian products.
This definition relies on the notion of the cartesian product.
In fact, if we simply used the cartesian product, the resulting structures would not even be well labelled.
Here is the construction: take the Cartesian product of a surface with the unit interval.