Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:60008 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.87) (envelope-from ) id 1dZXib-0002gG-1f for jbovlaste-admin@lojban.org; Mon, 24 Jul 2017 00:23:56 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Mon, 24 Jul 2017 00:23:52 -0700 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word kei'ai -- By krtisfranks Date: Mon, 24 Jul 2017 00:23:52 -0700 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: 0.5 (/) X-Spam_score: 0.5 X-Spam_score_int: 5 X-Spam_bar: / X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: In jbovlaste, the user krtisfranks has edited a definition of "kei'ai" in the language "English". Differences: 5,5c5,5 < Prefixed to an operator/function that operates on numbers, thereby transforming it to a set operator (thus its arguments must be sets where before they were numbers), as defined in a given structure. Produces the set of all numbers that are given by some ordered pair of elements (the nth term of which belongs to the nth set specified) with the operator acting on them (per the rules of that operator). The set produced may include empty terms and/or infinity. Let "@" represent the operator; then $x_1$ kei'ai @ $x_2$ boi $x_3$ boi $x_4$ = Set($t_1$ @ $t_2$ @ $t_3$ @ $t_4$: $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) = \operatorname{img}_f (A)$, which is the image of A under the function/map f. See also {kei'au} for a similar but different word. --- > Prefixed to an operator/function that operates on numbers, thereby transforming it to a set operator (thus its arguments must be sets where before they were numbers), as defined in a given structure. 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_1$ kei'ai @ $x_2$ boi $x_3$ boi $x_4$ 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) = \operatorname{img}_f (A)$, which is the image of A under the function/map f. See also {kei'au} for a similar but different word. [...] Content analysis details: (0.5 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.4 RCVD_IN_BRBL_LASTEXT RBL: No description available. [173.13.139.235 listed in bb.barracudacentral.org] -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS In jbovlaste, the user krtisfranks has edited a definition of "kei'ai" in the language "English". Differences: 5,5c5,5 < Prefixed to an operator/function that operates on numbers, thereby transforming it to a set operator (thus its arguments must be sets where before they were numbers), as defined in a given structure. Produces the set of all numbers that are given by some ordered pair of elements (the nth term of which belongs to the nth set specified) with the operator acting on them (per the rules of that operator). The set produced may include empty terms and/or infinity. Let "@" represent the operator; then $x_1$ kei'ai @ $x_2$ boi $x_3$ boi $x_4$ = Set($t_1$ @ $t_2$ @ $t_3$ @ $t_4$: $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) = \operatorname{img}_f (A)$, which is the image of A under the function/map f. See also {kei'au} for a similar but different word. --- > Prefixed to an operator/function that operates on numbers, thereby transforming it to a set operator (thus its arguments must be sets where before they were numbers), as defined in a given structure. 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_1$ kei'ai @ $x_2$ boi $x_3$ boi $x_4$ 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) = \operatorname{img}_f (A)$, which is the image of A under the function/map f. See also {kei'au} for a similar but different word. Old Data: Definition: mekso style converter: elementwise application of operator Notes: Prefixed to an operator/function that operates on numbers, thereby transforming it to a set operator (thus its arguments must be sets where before they were numbers), as defined in a given structure. Produces the set of all numbers that are given by some ordered pair of elements (the nth term of which belongs to the nth set specified) with the operator acting on them (per the rules of that operator). The set produced may include empty terms and/or infinity. Let "@" represent the operator; then $x_1$ kei'ai @ $x_2$ boi $x_3$ boi $x_4$ = Set($t_1$ @ $t_2$ @ $t_3$ @ $t_4$: $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) = \operatorname{img}_f (A)$, which is the image of A under the function/map f. See also {kei'au} for a similar but different word. Jargon: Gloss Keywords: Word: difference set, In Sense: mekso; generalized Word: image under f, In Sense: image of a function on a set Word: set of results of operator, In Sense: mekso Word: sum set, In Sense: mekso; generalized Place Keywords: New Data: Definition: mekso style converter: elementwise application of operator Notes: Prefixed to an operator/function that operates on numbers, thereby transforming it to a set operator (thus its arguments must be sets where before they were numbers), as defined in a given structure. 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_1$ kei'ai @ $x_2$ boi $x_3$ boi $x_4$ 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) = \operatorname{img}_f (A)$, which is the image of A under the function/map f. See also {kei'au} for a similar but different word. Jargon: Gloss Keywords: Word: difference set, In Sense: mekso; generalized Word: image under f, In Sense: image of a function on a set Word: set of results of operator, In Sense: mekso Word: sum set, In Sense: mekso; generalized Place Keywords: You can go to to see it.