From a.rosta@lycos.co.uk Sun Sep 22 10:26:25 2002
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 <lojban-list@lojban.org>; Sun, 22 Sep 2002 19:23:44 +0200 (DST)
From: "And Rosta" <a.rosta@lycos.co.uk>
To: <lojban-list@lojban.org>
Subject: [lojban] Re: Sets and classes
Date: Sun, 22 Sep 2002 18:25:25 +0100
Message-ID: <LPBBJKMNINKHACNDIIGMEECNGJAA.a.rosta@lycos.co.uk>
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
Reply-to: lojban-list@lojban.org
X-list: lojban-list

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.