Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Sun, 31 Jan 2021 23:56:46 -0800 Received: from [192.168.123.254] (port=44894 helo=jiten.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.94) (envelope-from ) id 1l6U4i-00C6xx-Di for jbovlaste-admin@lojban.org; Sun, 31 Jan 2021 23:56:46 -0800 Received: by jiten.digitalkingdom.org (sSMTP sendmail emulation); Mon, 01 Feb 2021 07:56:44 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word efklizu -- By krtisfranks Date: Mon, 1 Feb 2021 07:56:44 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user krtisfranks has added a definition of "efklizu" in the language "English". New Data: Definition: $x_1$ is a binary relation which is left-Euclidean on space/set/under conditions $x_2$. Notes: Definitionally, $x_1$ is a possibly-ordered binary relation given by set $R$ such that for all $a, b, c$ in $x_2$ (if such makes sense; else: the universe of discourse restricted by $x_2$), if $(b, a)$ in $R$ and $(c, a,)$ in $R$, then $(b, c)$ in $R$ and $(c, b)$ in $R$. See also: "{takni}", ".{efklipi}". Jargon: Gloss Keywords: Word: left-Euclidean relation, In Sense: Word: Euclidean relation, In Sense: left-Euclidean Place Keywords: You can go to to see it.