Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:38668 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.87) (envelope-from ) id 1dVef6-000121-7s for jbovlaste-admin@lojban.org; Thu, 13 Jul 2017 07:00:14 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Thu, 13 Jul 2017 07:00:12 -0700 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word kei'ai -- By gleki Date: Thu, 13 Jul 2017 07:00:12 -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 gleki 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(x_1 @ x_2 @ x_3 @ x_4: x_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 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($x_1$ @ $x_2$ @ $x_3$ @ $x_4$: $x_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 ---- ---------------------- -------------------------------------------------- 0.0 URIBL_BLOCKED ADMINISTRATOR NOTICE: The query to URIBL was blocked. See http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block for more information. [URIs: lojban.org] 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 gleki 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(x_1 @ x_2 @ x_3 @ x_4: x_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 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($x_1$ @ $x_2$ @ $x_3$ @ $x_4$: $x_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(x_1 @ x_2 @ x_3 @ x_4: x_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 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($x_1$ @ $x_2$ @ $x_3$ @ $x_4$: $x_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.