kei'ai

valsi

kei'ai

type

experimental cmavo

creator

krtisfranks

time entered

Wed Dec 17 06:40:33 2014  

English

Definition #63936 - Preferred

 

selma'o

PEhO

definition

mekso style converter: elementwise application of operator

notes

Prefixed to an operator/function that operates on numbers, thereby transforming it into a set operator (thus its arguments must be sets where before they were numbers), as defined in a given structure; the result is a function of the same arity. Produces the set of all numbers that are given by some ordered tuple of elements (the nth term of which belongs to the nth set specified, for all n) with the operator acting on them/the tuple (per the rules of that operator). The set produced may include empty terms and/or infinity. Let "@" represent the operator and "x_i" represent a set for all i; then x₁ kei'ai @ x₂ boi x₃ boi x₄ boi ... = Set(@ MATH

$(t_1, t_2, t_3, t_4, \dots)$

(t₁, t₂, t₃, t₄,...): t_i in x_i for all i); the ordered Cartesian product of the operands of 'kei'ai @' must be a subset of the domain set of '@'. If f is unitary and we convert it to a set operator 'kei'ai f' = F, then for any good set A, MATH

$F(A) = \operatorname<a class="undefined" href="../dict/img?bg=1;langidarg=2">img</a>_f (A)$

F(A) = <img alt="$\operatorname$" src="/jbovlaste_export/f_74mqwZub/img1.png" style=""/>img_f(A), which is the image of A under the function/map f. See also kei'au for a similar but different word.

gloss words

• difference set ; mekso; generalized
• image under f ; image of a function on a set
• set of results of operator ; mekso
• sum set ; mekso; generalized

created by

krtisfranks

vote information

2

time

Mon Jul 24 07:25:35 2017

[View Comments For This Definition]