From pycyn@aol.com Mon Oct 08 18:19:03 2001 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_4_1); 9 Oct 2001 01:16:03 -0000 Received: (qmail 38990 invoked from network); 9 Oct 2001 01:16:03 -0000 Received: from unknown (10.1.10.26) by 10.1.1.220 with QMQP; 9 Oct 2001 01:16:03 -0000 Received: from unknown (HELO imo-r09.mx.aol.com) (152.163.225.105) by mta1 with SMTP; 9 Oct 2001 01:19:02 -0000 Received: from Pycyn@aol.com by imo-r09.mx.aol.com (mail_out_v31_r1.7.) id r.f3.1049dbd0 (4403) for ; Mon, 8 Oct 2001 21:18:57 -0400 (EDT) Message-ID: Date: Mon, 8 Oct 2001 21:18:56 EDT Subject: le me ge'o ly fancu To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_f3.1049dbd0.28f3aa80_boundary" X-Mailer: AOL 6.0 for Windows US sub 10535 From: pycyn@aol.com --part1_f3.1049dbd0.28f3aa80_boundary Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Content-Language: en A function is a projection from one set (domain) ontoanother (range), such= =20 that corresponding to each member of the first set thereis exactly one memb= er=20 of the second.=C2=A0 Todescribe function it is necessary only to tell what = the=20 sets are and how themembers of the second set are related to the first.=C2= =A0 To=20 name a function it is usual to take the significant part ofthis relation=20 information and put into it a place for the argument (member ofthe first=20 set).=C2=A0 When this place isfilled with the name of such a member, the wh= ole is=20 a name of the member of thesecond set, the value.=C2=A0 Strictlyspeaking,=20 functions may be of any adicity -- one-place (like successor),two-place (li= ke=20 sum), and so on.=C2=A0 Sothere may be need for several place markers in a n= ame,=20 though strictly the placesare taken together in an ordered whatever-tuple a= s=20 one argument.=C2=A0 In the Lojban expressions below, we willshow only one p= lace=20 with the understanding that it may stand for many. In Lojban, the marker for the argument place is the memberof KOhA {ce'u}.= =C2=A0=20 Thus we get thefollowing sorts of function =C2=A0at least =C2=A0(exclusive = of MEX=20 functions, which follow aslightly different path).=20 Form=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Domain=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Range=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 =C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0{ko'a}=20 example=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=20 le du'u ce'u broda=C2=A0=C2=A0Things=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0Propositions=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 =C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0le du'u ko'a=20 broda=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 le ni ce'u broda=C2=A0=C2=A0=C2=A0=C2=A0 =C2=A0Things=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 numbers=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0le ni ko'a=20 broda=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=20 le nu ce'u broda=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Things=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0events=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 = =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0le nu=20 ko=E2=80=99a broda=C2=A0=C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 le ka ce=E2=80=99u broda=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0things=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A02ndorder propertie= s=C2=A0 =C2=A0=C2=A0le ka ko=E2=80=99a=20 broda=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=20 le broda be ce=E2=80=99u=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0things=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0things=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 le=20 broda be ko=E2=80=99a=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=20 --part1_f3.1049dbd0.28f3aa80_boundary Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Content-Language: en A function is a projection from one set (domain) ontoanother (range), suc= h that corresponding to each member of the first set thereis exactly one me= mber of the second.=C2=A0 Todescribe function it is necessary only to tell = what the sets are and how themembers of the second set are related to the f= irst.=C2=A0 To name a function it is usual to take the significant part oft= his relation information and put into it a place for the argument (member o= fthe first set).=C2=A0 When this place isfilled with the name of such a mem= ber, the whole is a name of the member of thesecond set, the value.=C2=A0 S= trictlyspeaking, functions may be of any adicity -- one-place (like success= or),two-place (like sum), and so on.=C2=A0 Sothere may be need for several = place markers in a name, though strictly the placesare taken together in an= ordered whatever-tuple as one argument.=C2=A0 In the Lojban expressions be= low, we willshow only one place with the understanding that it may stand fo= r many.
In Lojban, the marker for the argument place is the memberof KOhA {ce'u= }.=C2=A0 Thus we get thefollowing sorts of function =C2=A0at least =C2=A0(e= xclusive of MEX functions, which follow aslightly different path).=20
Form=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Domain=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Range=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 = =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0{ko'a} example=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=20
le du'u ce'u broda=C2=A0=C2=A0Things=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Propositions=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0le du'u ko'a broda=C2=A0 = =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0
le ni ce'u broda=C2=A0=C2=A0=C2=A0=C2=A0 =C2=A0Things=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 numbers=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0le ni ko'a broda=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=20
le nu ce'u broda=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Things=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0events=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0le nu ko=E2=80=99a broda=C2=A0= =C2=A0=C2=A0=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0
le ka ce=E2=80=99u broda=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0things=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A02ndorder pro= perties=C2=A0 =C2=A0=C2=A0le ka ko=E2=80=99a broda=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=20
le broda be ce=E2=80=99u=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0things=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0things=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 le broda be= ko=E2=80=99a=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0
--part1_f3.1049dbd0.28f3aa80_boundary--