直積集合
As an element of a Cartesian product over a domain.