Return-path: <apache@digitalkingdom.org>
Envelope-to: jbovlaste-admin@lojban.org
Delivery-date: Sun, 31 Jan 2021 23:48:24 -0800
Received: from [192.168.123.254] (port=43374 helo=jiten.digitalkingdom.org)
	by stodi.digitalkingdom.org with smtp (Exim 4.94)
	(envelope-from <apache@digitalkingdom.org>)
	id 1l6Twc-00C5IX-F1
	for jbovlaste-admin@lojban.org; Sun, 31 Jan 2021 23:48:24 -0800
Received: by jiten.digitalkingdom.org (sSMTP sendmail emulation); Mon, 01 Feb 2021 07:48:22 +0000
From: "Apache" <apache@digitalkingdom.org>
To: curtis289@att.net
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word efklipi -- By krtisfranks
Date: Mon, 1 Feb 2021 07:48:22 +0000
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Message-Id: <E1l6Twc-00C5IX-F1@stodi.digitalkingdom.org>
X-Spam-Score: -2.9 (--)
X-Spam_score: -2.9
X-Spam_score_int: -28
X-Spam_bar: --



In jbovlaste, the user krtisfranks has edited a
definition of "efklipi" in the language "English".

Differences:

5,5c5,5
< 		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}".
---
> 		Definitionally, $x_1$ is an 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 $(a, b)$ in $R$ and $(a, c)$ in $R$, then $(b, c)$ in $R$ and $(c, b)$ in $R$. See also: "{takni}", ".{efklizu}".
11,11d10
< 		Word: right-Euclidean relation, In Sense: 
\n12a12,12
\n> 		Word: right-Euclidean relation, In Sense: 


Old 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:



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 such makes sense; else: the universe of discourse restricted by $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: Euclidean relation, In Sense: right-Euclidean
		Word: right-Euclidean relation, In Sense: 

	Place Keywords:




You can go to <http://jbovlaste.lojban.org/dict/efklipi> to see it.