non-logical connective: cross product; Cartesian product of sets.

- selcmipi'i
- x
_{1}is the cross product of set x_{2}and set x_{3}. - sei'au
- terbri editor: passes the terbri value through the quoted function so that the sumti that fills it really is filling the output of the function
- se'u'o
- selbri conversion question
- te'au
- iterated Cartesian product with self: A × A × ... × A, n times.
- faunjdikpe
- x
_{1}(function) is the restriction of function x_{2}to domain set x_{3}