From a.rosta@lycos.co.uk Sun Sep 22 10:25:10 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 17:25:09 -0000 Received: (qmail 68695 invoked from network); 22 Sep 2002 17:25:09 -0000 Received: from unknown (66.218.66.218) by m2.grp.scd.yahoo.com with QMQP; 22 Sep 2002 17:25:09 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta3.grp.scd.yahoo.com with SMTP; 22 Sep 2002 17:25:09 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.05) id 17tAVn-0004hI-00 for lojban@yahoogroups.com; Sun, 22 Sep 2002 10:27:15 -0700 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.05) id 17tAV0-0004gf-00; Sun, 22 Sep 2002 10:26:26 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Sun, 22 Sep 2002 10:26:25 -0700 (PDT) Received: from mailbox-12.st1.spray.net ([212.78.202.112]) by digitalkingdom.org with esmtp (Exim 4.05) id 17tAUx-0004gN-00 for lojban-list@lojban.org; Sun, 22 Sep 2002 10:26:23 -0700 Received: from oemcomputer (host213-121-70-94.surfport24.v21.co.uk [213.121.70.94]) by mailbox-12.st1.spray.net (Postfix) with SMTP id 6376F5C137 for ; Sun, 22 Sep 2002 19:23:44 +0200 (DST) To: Subject: [lojban] Re: Sets and classes Date: Sun, 22 Sep 2002 18:25:25 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) Importance: Normal In-Reply-To: <20020922160242.GA75071@allusion.net> X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 X-archive-position: 1485 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: a.rosta@lycos.co.uk Precedence: bulk X-list: lojban-list From: "And Rosta" Reply-To: a.rosta@lycos.co.uk X-Yahoo-Group-Post: member; u=122260811 X-Yahoo-Profile: andjamin Jordan: > 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. > > > > > > It is as much a "thing with members" as nonempty sets? > > > > > > Only if {selcmi} can mean {selcmi be zi'o}. > > > > "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 = cmima2 (set of member), x2 = cmima1 > (member) > > Please don't ignore the dictionary. It makes things easier on > everyone. I don't know what point you're trying to make. The dictionary hasn't been published yet, so afaik {selcmi} has no official meaning. {selcmi} does not necessarily mean {se cmima}. --And.