Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:46422 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.86) (envelope-from ) id 1b2M7J-0002Zw-D0 for jbovlaste-admin@lojban.org; Mon, 16 May 2016 10:15:46 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Mon, 16 May 2016 10:15:41 -0700 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word faunjdikpe -- By krtisfranks Date: Mon, 16 May 2016 10:15:41 -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 added a definition of "faunjdikpe" in the language "English". New Data: Definition: $x_1$ (function) is the restriction of function $x_2$ to domain set $x_3$ [...] 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.0009] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS In jbovlaste, the user krtisfranks has added a definition of "faunjdikpe" in the language "English". New Data: Definition: $x_1$ (function) is the restriction of function $x_2$ to domain set $x_3$ Notes: $x_3$ should normally be a (strict) subset of the domain set of $x_1$; however, for generality, any set is allowed, but $x_1$ will be undefined everywhere except on/in the intersection of $x_3$ with the domain set of $x_2$. Outside of $x_3$, $x_1$ is undefined, even if $x_2$ is. In/on $x_3$, $x_1$ and $x_2$ are identically equal everywhere. $x_2$ is a specific extension of $x_1$. For the sense of restriction in which, instead of being undefined outside of $x_3$, $x_1$ is identically equal to the zero element of the space on the set exclusion of the domain of $x_2$ lacking $x_3$ (and which is undefined everywhere not in the domain set of $x_2$), try to use a product of a {zdeltakronekre} function with $x_2$, which will be defined on the intersection of their two domain sets and will identically be 0 or $x_2$ as specified. Be careful, concerning $x_3$, when the domain set of $x_2$ is the Cartesian product ({pi'u}) of sets; for example, $R$ is not a subset of $R^2$, even if it is isomorphic to one (actually, uncountably infinitely many in this case). Jargon: Gloss Keywords: Word: restriction, In Sense: of a function to a subset of its domain Word: function restriction, In Sense: Place Keywords: You can go to to see it.