pi'u JOI -piv- cmavo

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

In notes:

faunjdikpe
x1 (function) is the restriction of function x2 to domain set x3
pi'u'e (exp!)
mekso n-ary operator: generate ordered tuple/list from inputs; pi'u'e(x1, x= (x1, x, pi'u'e(x1, x= (x1, x, etc.
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
selcmipi'i
x1 is the cross product of set x2 and set x3.
se'u'o (exp!)
selbri conversion question
te'au
iterated Cartesian product with self: A × A × ... × A, n times.