From lojban-out@lojban.org Sun Sep 22 08:57:02 2002 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_1_1_3); 22 Sep 2002 15:57:02 -0000 Received: (qmail 22564 invoked from network); 22 Sep 2002 15:57:01 -0000 Received: from unknown (66.218.66.217) by m10.grp.scd.yahoo.com with QMQP; 22 Sep 2002 15:57:01 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta2.grp.scd.yahoo.com with SMTP; 22 Sep 2002 15:57:01 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.05) id 17t98U-0004Q2-00 for lojban@yahoogroups.com; Sun, 22 Sep 2002 08:59:06 -0700 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.05) id 17t97x-0004Pj-00; Sun, 22 Sep 2002 08:58:33 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Sun, 22 Sep 2002 08:58:32 -0700 (PDT) Received: from cs6668125-184.austin.rr.com ([66.68.125.184] ident=root) by digitalkingdom.org with esmtp (Exim 4.05) id 17t97u-0004Pa-00 for lojban-list@lojban.org; Sun, 22 Sep 2002 08:58:30 -0700 Received: from cs6668125-184.austin.rr.com (asdf@localhost [127.0.0.1]) by cs6668125-184.austin.rr.com (8.12.3/8.12.3) with ESMTP id g8MG2gGZ075170 for ; Sun, 22 Sep 2002 11:02:42 -0500 (CDT) (envelope-from fracture@cs6668125-184.austin.rr.com) Received: (from fracture@localhost) by cs6668125-184.austin.rr.com (8.12.3/8.12.3/Submit) id g8MG2g6g075169 for lojban-list@lojban.org; Sun, 22 Sep 2002 11:02:42 -0500 (CDT) Date: Sun, 22 Sep 2002 11:02:42 -0500 To: lojban-list@lojban.org Subject: [lojban] Re: Sets and classes Message-ID: <20020922160242.GA75071@allusion.net> References: Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="sm4nu43k4a2Rpi4c" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.4i X-archive-position: 1484 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: fracture@allusion.net Precedence: bulk X-list: lojban-list X-eGroups-From: Jordan DeLong From: Jordan DeLong Reply-To: fracture@allusion.net X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out --sm4nu43k4a2Rpi4c Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sun, Sep 22, 2002 at 12:17:04PM +0100, And Rosta wrote: > Jorge: > > la djorden cusku di'e > > > > A better gloss for {selcmi} might be "membered thing". > > > > Is the empty set a "membered thing"? > > > > > >It is as much as nonempty sets are. > >=20 > > It is as much a "thing with members" as nonempty sets? > >=20 > > Only if {selcmi} can mean {selcmi be zi'o}. >=20 > "Only if {selcmi} can mean {se cmima be zi'o}". The empty > set is definitely not a se cmima. However, it might well > be a selcmi. selcmi se+cmima: set of member: x1 =3D cmima2 (set of member), x2 =3D cmima1 (member) Please don't ignore the dictionary. It makes things easier on everyone. --=20 Jordan DeLong - fracture@allusion.net lu zo'o loi censa bakni cu terzba le zaltapla poi xagrai li'u sei la mark. tuen. cusku --sm4nu43k4a2Rpi4c Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (FreeBSD) iD8DBQE9jemhDrrilS51AZ8RAlWoAJ47mQIj/FZiBx3LplKTYj1C8ovfzACfanww 2t7GZij305vM8coVPOeN7Fc= =ZYvZ -----END PGP SIGNATURE----- --sm4nu43k4a2Rpi4c--