du'a'e VUhU experimental cmavo

mekso n-ary ordered operator: structure creator/ordered tuple, 'endow'; the structure formed by underlying set X1 (as) endowed with element, order, quoted operator, etc. X2, X3, ...

Operators or symbolic orderings (rather than a description thereof) must be submitted via mau'au-zai'ai quotes. Usually, X1 must be included; X1 must be a set. Definitions and axioms must be defined elsewhere. An operator or ordering which is undefined on the set X1 produces a trivial structure (one which is identical to that which is formed if this operator/ordering were not included at all). Terminated by ku'e. See also: du'a'o (a sorta inverse).


In definition:

du'a'o (exp!)
mekso binary operator: extract substructure/underlying set/endowing operator; the substructure (general sense; includes just operator, order, set, etc.) of X1 (structure; explicitly given by {du'a'e}) which is formed by collecting the ith entries of that {du'a'e}-tuple in order together into their own {du'a'e}-tuple (or by extracting them naked into the ambient environment if X2 is a singleton) for all i in set X2