Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:59040 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.89) (envelope-from ) id 1fBXYi-0003c3-VY for jbovlaste-admin@lojban.org; Wed, 25 Apr 2018 20:27:03 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Wed, 25 Apr 2018 20:27:00 -0700 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word kei'i -- By krtisfranks Date: Wed, 25 Apr 2018 20:27:00 -0700 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: 3.1 (+++) X-Spam_score: 3.1 X-Spam_score_int: 31 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'i" in the language "English". Differences: 2,2c2,2 < non-logical connective/mekso operator - of arity only 1 xor 2. Unary: $X_1 ^C$; binary: $X_1 \\ X_2$. --- > non-logical connective/mekso operator - of arity only 1 xor 2: set (absolute) comp [...] Content analysis details: (3.1 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: wikipedia.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.0005] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS 2.6 TO_NO_BRKTS_DYNIP To: lacks brackets and dynamic rDNS In jbovlaste, the user krtisfranks has edited a definition of "kei'i" in the language "English". Differences: 2,2c2,2 < non-logical connective/mekso operator - of arity only 1 xor 2. Unary: $X_1 ^C$; binary: $X_1 \\ X_2$. --- > non-logical connective/mekso operator - of arity only 1 xor 2: set (absolute) complement, or set exclusion (relative complement). Unary: $X_{1} ^{C}$; binary: $X_1 - X_2$. 5,5c5,5 < Each input must be a set or similar. Has ordered input: '$X_1$ kei'i $X_2$' is not generally equivalent to '$X_2$ kei'i $X_1$'. If $X_1$ is not explicitly specified, it is taken to be some universal set $O$ in the discourse (of which all other mentioned sets are subsets, at the least); in this case, the word operates as the set (absolute) complement (id est: the output is $O \\ X_1 = X_1 ^C$, where "$^C$" denotes the set absolute complement). When binary with $X_1$ and $X_2$ both explicitly specified, it represents the set relative complement. Somewhat analogous to logical 'NOT' (just as set intersection is analogous to logical 'AND', and set union is analogous to logical '(AND/)OR'). The preferred description/name in English is "set (theoretic) exclusion". --- > In the definition and in this note, due to parsing constraints, "-" represents set exclusion; this is typically denoted as a backslash elsewhere. Each input must be a set or similar. The definition of the binary case expands to "the set of all elements which are in $X_1$ but not in $X_2$". This word and operator has ordered input: '$X_1$ kei'i $X_2$' is not generally equivalent to '$X_2$ kei'i $X_1$'; in other words, the operator is not commutative. If unary (meaning that $X_1$ is not explicitly specified in a hypothetical expression "$X_1 - X_2$"), then $X_1$ is taken to be some universal set $O$ in/of the discourse (of which all other mentioned sets are subsets, at the least); in this case, the word operates as the set (absolute) complement of the explicitly mentioned set here (but not in the definition) designated as $X_2$ for clarity (id est: the output is $O - X_2 = X_{2} ^{C}$, where "$^{C}$" denotes the set absolute complement; in other words, it is the set of all elements which may be under consideration such that they are not elements of the explicitly specified set). When binary with both $X_1$ and $X_2$ explicitly specified, this word/operator is the set relative complement. Somewhat analogous to logical 'NOT' (just as set intersection is analogous to logical 'AND', and set union is analogous to logical '(AND/)OR'). The preferred description/name in English is "set (theoretic) exclusion". For reference: https://en.wikipedia.org/wiki/Complement_(set_theory) . Old Data: Definition: non-logical connective/mekso operator - of arity only 1 xor 2. Unary: $X_1 ^C$; binary: $X_1 \\ X_2$. Notes: Each input must be a set or similar. Has ordered input: '$X_1$ kei'i $X_2$' is not generally equivalent to '$X_2$ kei'i $X_1$'. If $X_1$ is not explicitly specified, it is taken to be some universal set $O$ in the discourse (of which all other mentioned sets are subsets, at the least); in this case, the word operates as the set (absolute) complement (id est: the output is $O \\ X_1 = X_1 ^C$, where "$^C$" denotes the set absolute complement). When binary with $X_1$ and $X_2$ both explicitly specified, it represents the set relative complement. Somewhat analogous to logical 'NOT' (just as set intersection is analogous to logical 'AND', and set union is analogous to logical '(AND/)OR'). The preferred description/name in English is "set (theoretic) exclusion". Jargon: Gloss Keywords: Word: \, In Sense: set theoretic operator (mekso, connective): set exclusion Word: C, In Sense: set theoretic operator (mekso, connective): set complement Word: exclusion, In Sense: set theoretic operator (mekso, connective) Word: set complement, In Sense: set theoretic operator (mekso, connective): relative or absolute Word: set difference, In Sense: set theoretic operator (mekso, connective) Word: set exclusion, In Sense: set theoretic operator (mekso, connective) Word: set minus, In Sense: set theoretic operator (mekso, connective) Word: set subtraction, In Sense: set theoretic operator (mekso, connective) Place Keywords: New Data: Definition: non-logical connective/mekso operator - of arity only 1 xor 2: set (absolute) complement, or set exclusion (relative complement). Unary: $X_{1} ^{C}$; binary: $X_1 - X_2$. Notes: In the definition and in this note, due to parsing constraints, "-" represents set exclusion; this is typically denoted as a backslash elsewhere. Each input must be a set or similar. The definition of the binary case expands to "the set of all elements which are in $X_1$ but not in $X_2$". This word and operator has ordered input: '$X_1$ kei'i $X_2$' is not generally equivalent to '$X_2$ kei'i $X_1$'; in other words, the operator is not commutative. If unary (meaning that $X_1$ is not explicitly specified in a hypothetical expression "$X_1 - X_2$"), then $X_1$ is taken to be some universal set $O$ in/of the discourse (of which all other mentioned sets are subsets, at the least); in this case, the word operates as the set (absolute) complement of the explicitly mentioned set here (but not in the definition) designated as $X_2$ for clarity (id est: the output is $O - X_2 = X_{2} ^{C}$, where "$^{C}$" denotes the set absolute complement; in other words, it is the set of all elements which may be under consideration such that they are not elements of the explicitly specified set). When binary with both $X_1$ and $X_2$ explicitly specified, this word/operator is the set relative complement. Somewhat analogous to logical 'NOT' (just as set intersection is analogous to logical 'AND', and set union is analogous to logical '(AND/)OR'). The preferred description/name in English is "set (theoretic) exclusion". For reference: https://en.wikipedia.org/wiki/Complement_(set_theory) . Jargon: Gloss Keywords: Word: \, In Sense: set theoretic operator (mekso, connective): set exclusion Word: C, In Sense: set theoretic operator (mekso, connective): set complement Word: exclusion, In Sense: set theoretic operator (mekso, connective) Word: set complement, In Sense: set theoretic operator (mekso, connective): relative or absolute Word: set difference, In Sense: set theoretic operator (mekso, connective) Word: set exclusion, In Sense: set theoretic operator (mekso, connective) Word: set minus, In Sense: set theoretic operator (mekso, connective) Word: set subtraction, In Sense: set theoretic operator (mekso, connective) Place Keywords: You can go to to see it.