Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Sun, 31 Jan 2021 23:45:22 -0800 Received: from [192.168.123.254] (port=42764 helo=jiten.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.94) (envelope-from ) id 1l6Ttg-00C54z-63 for jbovlaste-admin@lojban.org; Sun, 31 Jan 2021 23:45:22 -0800 Received: by jiten.digitalkingdom.org (sSMTP sendmail emulation); Mon, 01 Feb 2021 07:45:20 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word efklipi -- By krtisfranks Date: Mon, 1 Feb 2021 07:45:20 +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 "efklipi" in the language "English". New Data: Definition: $x_1$ is a binary relation which is right-Euclidean on space/set/under conditions $x_2$. Notes: Definitionally, $x_1$ is an ordered binary relation given by set R such that for all $a, b, c$ in $x_2$, if (a, b) in R and (a, c) in R, then (b, c) in R and (c, b) in R. See also: "{takni}", ".{efklizu}". Jargon: Gloss Keywords: Word: right-Euclidean relation, In Sense: Word: Euclidean relation, In Sense: right-Euclidean Place Keywords: You can go to to see it.