Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:41700 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.89) (envelope-from ) id 1f331D-0005Z8-EA for jbovlaste-admin@lojban.org; Mon, 02 Apr 2018 10:13:21 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Mon, 02 Apr 2018 10:13:19 -0700 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word ma'au -- By krtisfranks Date: Mon, 2 Apr 2018 10:13:19 -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 "ma'au" in the language "English". Differences: 5,5c5,5 < Establish (elsewhere) a universal set/topological space $O$ and equip it with a measure $L"; then $X_1$ must be an  element of $O$, and $X_2$ must be a subset/subspace of $O$ and will be equ [...] 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: 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.0004] 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 "ma'au" in the language "English". Differences: 5,5c5,5 < Establish (elsewhere) a universal set/topological space $O$ and equip it with a measure $L"; then $X_1$ must be an  element of $O$, and $X_2$ must be a subset/subspace of $O$ and will be equipped with/inherit the same measure $L$ (restricted to it) and the appropriate topology. Let $Y$ be the maximal non-discrete subset/subspace of $X_2$ (in other words, all non-discrete subsets/subspaces of $X_2$ are subsets/subspaces of $Y$). The term '$A$' in the definition is a nonnegative-valued 'function' which is defined on the category of sets; it produces the proper normalization (by being the reciprocal of the integral of $u$ over $O$ with respect to $L$ iff such is well-defined and finite and positive; otherwise, it is identically $0$). The term '$u$' in the definition is defined to be the sum of the indicator function (Kronecker delta) for $Y$ (outputting $1$ iff $X_1$ is an element $Y$, and outputting $0$ otherwise) and the Dirac delta of: $1$ minus the indicator function for the relative complement of $Y$ in $X_2$ (id est: $X_2 \\ Y$); it should be noted that all functions mentioned are defined on all of $O$ but have nonzero values according to only the previous description (in particular, $u = 0$ identically in $O \\ X_2$); the indicator functions directly are functions of the input $X_1$. See also: "{zdeltakronekre}", "{zdeltadirake}". --- > Establish (elsewhere) a universal set/topological space $O$ and equip it with a measure $L$; then $X_1$ must be an  element of $O$, and $X_2$ must be a subset/subspace of $O$ and will be equipped with/inherit the same measure $L$ (restricted to it) and the appropriate topology. Let $Y$ be the maximal non-discrete subset/subspace of $X_2$ (in other words, all non-discrete subsets/subspaces of $X_2$ are subsets/subspaces of $Y$). The term '$A$' in the definition is a nonnegative-valued 'function' which is defined on the category of sets; it produces the proper normalization (by being the reciprocal of the integral of $u$ over $O$ with respect to $L$ iff such is well-defined and finite and positive; otherwise, it is identically $0$). The term '$u$' in the definition is defined to be the sum of the indicator function (Kronecker delta) for $Y$ (outputting $1$ iff $X_1$ is an element $Y$, and outputting $0$ otherwise) and the Dirac delta of: $1$ minus the indicator function for the relative complement of $Y$ in $X_2$ (id est: $X_2 \\ Y$); it should be noted that all functions mentioned are defined on all of $O$ but have nonzero values according to only the previous description (in particular, $u = 0$ identically in $O \\ X_2$); the indicator functions directly are functions of the input $X_1$. See also: "{zdeltakronekre}", "{zdeltadirake}". Old Data: Definition: Binary mekso operator: uniform probability $A(X_2)u(X_1,X_2)$ for input $(X_1,X_2)$ where $X_1$ is a number and $X_2$ is a set. (See notes for details). Notes: Establish (elsewhere) a universal set/topological space $O$ and equip it with a measure $L"; then $X_1$ must be an  element of $O$, and $X_2$ must be a subset/subspace of $O$ and will be equipped with/inherit the same measure $L$ (restricted to it) and the appropriate topology. Let $Y$ be the maximal non-discrete subset/subspace of $X_2$ (in other words, all non-discrete subsets/subspaces of $X_2$ are subsets/subspaces of $Y$). The term '$A$' in the definition is a nonnegative-valued 'function' which is defined on the category of sets; it produces the proper normalization (by being the reciprocal of the integral of $u$ over $O$ with respect to $L$ iff such is well-defined and finite and positive; otherwise, it is identically $0$). The term '$u$' in the definition is defined to be the sum of the indicator function (Kronecker delta) for $Y$ (outputting $1$ iff $X_1$ is an element $Y$, and outputting $0$ otherwise) and the Dirac delta of: $1$ minus the indicator function for the relative complement of $Y$ in $X_2$ (id est: $X_2 \\ Y$); it should be noted that all functions mentioned are defined on all of $O$ but have nonzero values according to only the previous description (in particular, $u = 0$ identically in $O \\ X_2$); the indicator functions directly are functions of the input $X_1$. See also: "{zdeltakronekre}", "{zdeltadirake}". Jargon: Gloss Keywords: Word: uniform distribution, In Sense: Word: uniform probability distribution, In Sense: Word: UPD, In Sense: uniform probability distribution Place Keywords: New Data: Definition: Binary mekso operator: uniform probability $A(X_2)u(X_1,X_2)$ for input $(X_1,X_2)$ where $X_1$ is a number and $X_2$ is a set. (See notes for details). Notes: Establish (elsewhere) a universal set/topological space $O$ and equip it with a measure $L$; then $X_1$ must be an  element of $O$, and $X_2$ must be a subset/subspace of $O$ and will be equipped with/inherit the same measure $L$ (restricted to it) and the appropriate topology. Let $Y$ be the maximal non-discrete subset/subspace of $X_2$ (in other words, all non-discrete subsets/subspaces of $X_2$ are subsets/subspaces of $Y$). The term '$A$' in the definition is a nonnegative-valued 'function' which is defined on the category of sets; it produces the proper normalization (by being the reciprocal of the integral of $u$ over $O$ with respect to $L$ iff such is well-defined and finite and positive; otherwise, it is identically $0$). The term '$u$' in the definition is defined to be the sum of the indicator function (Kronecker delta) for $Y$ (outputting $1$ iff $X_1$ is an element $Y$, and outputting $0$ otherwise) and the Dirac delta of: $1$ minus the indicator function for the relative complement of $Y$ in $X_2$ (id est: $X_2 \\ Y$); it should be noted that all functions mentioned are defined on all of $O$ but have nonzero values according to only the previous description (in particular, $u = 0$ identically in $O \\ X_2$); the indicator functions directly are functions of the input $X_1$. See also: "{zdeltakronekre}", "{zdeltadirake}". Jargon: Gloss Keywords: Word: uniform distribution, In Sense: Word: uniform probability distribution, In Sense: Word: UPD, In Sense: uniform probability distribution Place Keywords: You can go to to see it.