直积集合

_

direct product set, set of direct product