From edward.cherlin.sy.67@aya.yale.edu Wed Feb 20 03:04:50 2002 Return-Path: X-Sender: cherlin@pacbell.net X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_2); 20 Feb 2002 11:04:49 -0000 Received: (qmail 50766 invoked from network); 20 Feb 2002 11:04:49 -0000 Received: from unknown (216.115.97.167) by m5.grp.snv.yahoo.com with QMQP; 20 Feb 2002 11:04:49 -0000 Received: from unknown (HELO mta7.pltn13.pbi.net) (64.164.98.8) by mta1.grp.snv.yahoo.com with SMTP; 20 Feb 2002 11:04:49 -0000 Received: from there ([216.102.199.245]) by mta7.pltn13.pbi.net (iPlanet Messaging Server 5.1 (built May 7 2001)) with SMTP id <0GRT00BAFW41U5@mta7.pltn13.pbi.net> for lojban@yahoogroups.com; Wed, 20 Feb 2002 03:04:49 -0800 (PST) Date: Wed, 20 Feb 2002 03:04:48 -0800 Subject: Re: [lojban] Constant-valued functions In-reply-to: To: lojban@yahoogroups.com Message-id: <0GRT00BAGW41U5@mta7.pltn13.pbi.net> Organization: Web for Humans MIME-version: 1.0 X-Mailer: KMail [version 1.3.1] Content-type: text/plain; charset=iso-8859-1 Content-transfer-encoding: quoted-printable References: X-eGroups-From: Edward Cherlin From: Edward Cherlin Reply-To: edward@webforhumans.com X-Yahoo-Group-Post: member; u=31895329 X-Yahoo-Profile: echerlin X-Yahoo-Message-Num: 13382 On Monday 18 February 2002 14:35, Invent Yourself wrote: > But ma'o li 1 is a function, isn't it? No, it's an expression. A fancu has a domain and range, although=20 there are other ways of making a function based on a particular=20 expression. For example, specifying an argument variable is=20 sufficient in some systems. You are looking for something like le fancu be lo'i namcu be'i lo'i li pa be'i ma'o li pa [be'o] The function [domain} set-of numbers [range] set-of (number 1)=20 [expression] expression (number 1) >> In set theory, functions are defined as sets of ordered pairs, >> usually with the first element from the domain set, and no two=20 >> pairs having the same first element. This does not provide for >> niladic functions. >What if all the points of D map onto only one point of R? That's exactly what happens here. This is a function of one argument=20 that maps all numbers to the number 1. A function of 0 arguments does=20 not have a domain. This is different from the case of a function with=20 one argument but an empty domain. --=20 Edward Cherlin edward@webforhumans.com Does your Web site work?