From pycyn@aol.com Mon Oct 08 18:19:03 2001
Return-Path: <Pycyn@aol.com>
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 <lojban@yahoogroups.com>; Mon, 8 Oct 2001 21:18:57 -0400 (EDT)
Message-ID: <f3.1049dbd0.28f3aa80@aol.com>
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

<HTML><FONT FACE=3Darial,helvetica><BODY BGCOLOR=3D"#ffffff"><FONT SIZE=3D=
2>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.
<BR>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
<BR>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
<BR>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
<BR>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
<BR>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
<BR>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
<BR>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 </FONT></HTML>

--part1_f3.1049dbd0.28f3aa80_boundary--