Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:35067 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.80.1) (envelope-from ) id 1XGwp3-0003HI-KM; Mon, 11 Aug 2014 14:08:07 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Mon, 11 Aug 2014 14:08:05 -0700 From: "Apache" Date: Mon, 11 Aug 2014 14:08:05 -0700 To: webmaster@lojban.org, curtis289@att.net Subject: [jvsw] Definition Added At Word zmaraimecna'u -- By krtisfranks Bcc: jbovlaste-admin@lojban.org Message-ID: <53e930b5.mXRWqcu5mcI+XdKh%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: -0.9 X-Spam_score_int: -8 X-Spam_bar: / In jbovlaste, the user krtisfranks has added a definition of "zmaraimecna'u" in the language "English". New 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: You can go to to see it.