Cartesian product
As an element of a Cartesian product over a domain.