The Logical Language Group Online Dictionary Query |
There are specific tools that make searching this database easier:
la sutysisku dictionary, an offline enabled web app
la vlasisku search engine for the Lojban dictionary
From Lojban to English :
Word: kei'ai [jbovlaste] Type: experimental cmavo (YOU RISK BEING MISUNDERSTOOD IF YOU USE THIS WORD) Gloss Word: difference set in the sense of "mekso; generalized" Gloss Word: image under f in the sense of "image of a function on a set" Gloss Word: set of results of operator in the sense of "mekso" Gloss Word: sum set in the sense of "mekso; generalized" 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 x1 kei'ai @ x2 boi x3 boi x4 boi $\dots$ = Set(@$(t_1, t_2, t_3, t_4, \dots)$: $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, $F(A) = \operatornameimg_f (A)$, which is the image of A under the function/map f. See also kei'au for a similar but different word.