du'a'o

valsi

du'a'o

type

experimental cmavo

creator

krtisfranks

time entered

Thu Apr 7 02:42:39 2016  

English

Definition #68579 - Preferred

 

selma'o

VUhU

definition

mekso binary operator: extract substructure/underlying set/endowing operator; the substructure (general sense; includes just operator, order, set, etc.) of X₁ (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 X₂ is a singleton) for all i in set X₂

notes

Usually, a complicated structure will involve the underlying set. i is not a user-submission-accepting terbri; only X₁ and X₂ are. If X₁ is not provided explicitly here by a du'a'e construct, then one must be inferred from context (the most recent definition; the order of things entries submitted to that construct is understood to apply here via direct formal substitution); otherwise, this word is undefined. Even though operators and orders must be submitted to de'a'e via zai'ai-mau'au quotes, they are extracted naked by this word (so that they can be used directly as evaluating operators in numerical expressions; thus, they must be requoted if that is desired/appropriate). Counting starts at 1. Thus, X₂ being exactly the singleton of 1 will output the underlying set of X₁.

gloss words

• substructure extraction ; mekso

created by

krtisfranks

vote information

1

time

Thu Apr 7 02:42:40 2016

[View Comments For This Definition]