From: "Apache" <apache@digitalkingdom.org>
Date: Mon, 11 Aug 2014 14:22:56 -0700
To: webmaster@lojban.org, curtis289@att.net
Subject: [jvsw] Definition Edited At Word zmaraimecna'u -- By krtisfranks
Bcc: jbovlaste-admin@lojban.org
Message-ID: <53e93430.Kock3KQaNfXwqeTz%webmaster@lojban.org>
User-Agent: Heirloom mailx 12.5 7/5/10
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Spam_score: -0.9
X-Spam_score_int: -8
X-Spam_bar: /


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

Differences:

2,2c2,2
< 		$x_1$ (number) is the infimum of set $x_2$ under ordering $x_3$
---
> 		$x_1$ (number) is the infimum of set $x_2$ under (partial) ordering $x_3$
5,5c5,5
< 		x2 must be a set; although it is standard (and lazy) mathematical practice to speak of "the infimum of a function" (including sequences) in some domain or to constrain the infimum with respect to certain variables in some way, all of these features can and ought to be constraints defining the set of which the infimum is taken; in Lojban, no leeway is given toward such sloppiness.
---
> 		x2 must be a set; although it is standard (and lazy) mathematical practice to speak of "the infimum of a function" (including sequences) in some domain or to constrain the infimum with respect to certain variables in some way, all of these features can and ought to be constraints defining the set of which the infimum is taken; in Lojban, no leeway is given toward such sloppiness. See also: {mecraizmana'u}, {nacmecrai}.
11,11d10
< 		Word: infimum, In Sense: 
\n12a12,12
\n> 		Word: infimum, In Sense: 


Old Data:

	Definition:
		$x_1$ (number) is the infimum of set $x_2$ under ordering $x_3$

	Notes:
		x2 must be a set; although it is standard (and lazy) mathematical practice to speak of "the infimum of a function" (including sequences) in some domain or to constrain the infimum with respect to certain variables in some way, all of these features can and ought to be constraints defining the set of which the infimum is taken; in Lojban, no leeway is given toward such sloppiness.

	Jargon:
		

	Gloss Keywords:
		Word: infimum, In Sense: 
		Word: inf, In Sense: infimum

	Place Keywords:


New Data:

	Definition:
		$x_1$ (number) is the infimum of set $x_2$ under (partial) ordering $x_3$

	Notes:
		x2 must be a set; although it is standard (and lazy) mathematical practice to speak of "the infimum of a function" (including sequences) in some domain or to constrain the infimum with respect to certain variables in some way, all of these features can and ought to be constraints defining the set of which the infimum is taken; in Lojban, no leeway is given toward such sloppiness. See also: {mecraizmana'u}, {nacmecrai}.

	Jargon:
		

	Gloss Keywords:
		Word: inf, In Sense: infimum
		Word: infimum, In Sense: 

	Place Keywords:


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