Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:35769 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.80.1) (envelope-from ) id 1XGx3I-0003OH-M7; Mon, 11 Aug 2014 14:22:50 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Mon, 11 Aug 2014 14:22:48 -0700 From: "Apache" Date: Mon, 11 Aug 2014 14:22:48 -0700 To: webmaster@lojban.org, curtis289@att.net Subject: [jvsw] Definition Added At Word mecraizmana'u -- By krtisfranks Bcc: jbovlaste-admin@lojban.org Message-ID: <53e93428.iEMfYbI0dd/jJt3g%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 "mecraizmana'u" in the language "English". New Data: Definition: $x_1$ (number) is the supremum 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 supremum of a function" (including sequences) in some domain or to constrain the supremum with respect to certain variables in some way, all of these features can and ought to be constraints defining the set of which the supremum is taken; in Lojban, no leeway is given toward such sloppiness. See also: {zmaraimecna'u}, {nacyzmarai}. Jargon: Gloss Keywords: Word: supremum, In Sense: Word: sup, In Sense: supremum Place Keywords: You can go to to see it.