Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:38409 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.80.1) (envelope-from ) id 1XEOmg-0003Od-Vg; Mon, 04 Aug 2014 13:23:08 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Mon, 04 Aug 2014 13:23:06 -0700 From: "Apache" Date: Mon, 04 Aug 2014 13:23:06 -0700 To: webmaster@lojban.org, curtis289@att.net Subject: [jvsw] Definition Added At Word fa'au -- By krtisfranks Bcc: jbovlaste-admin@lojban.org Message-ID: <53dfebaa.usFaWh8/Uhik/eqh%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 "fa'au" in the language "English". New Data: Definition: mathematical unary operator: map notation Notes: Input is unary: a function f; the output is an ordered tuple: (the domain set of f, the codomain set of f, the image of f, the mapping rule of f (defined with a dummy variable which is taken to belong to the the domain set of f), the graph/plot (set of input-output pairs) of f). Might be useful for lambda calculus, etc. Equip the output with {ma'o} in order to use as a/the function. Extract a term in the tuple in order to use it directly. Jargon: Gloss Keywords: Word: function map notation, In Sense: Word: map notation, In Sense: function Word: anonymous function, In Sense: function map notation Place Keywords: You can go to to see it.