곱집합
As an element of a Cartesian product over a domain.