From rlpowell@csclub.uwaterloo.ca Thu Feb 22 16:38:09 2001 Return-Path: X-Sender: rlpowell@calum.csclub.uwaterloo.ca X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_0_4); 23 Feb 2001 00:37:07 -0000 Received: (qmail 41129 invoked from network); 23 Feb 2001 00:37:06 -0000 Received: from unknown (10.1.10.26) by l9.egroups.com with QMQP; 23 Feb 2001 00:37:06 -0000 Received: from unknown (HELO calum.csclub.uwaterloo.ca) (129.97.134.11) by mta1 with SMTP; 23 Feb 2001 00:37:06 -0000 Received: (from rlpowell@localhost) by calum.csclub.uwaterloo.ca (8.9.3+Sun/8.9.3) id TAA02435; Thu, 22 Feb 2001 19:43:17 -0500 (EST) Date: Thu, 22 Feb 2001 19:43:17 -0500 To: Jorge Llambias Cc: lojban@yahoogroups.com Subject: Re: [lojban] set mechanics Message-ID: <20010222194316.A2351@calum.csclub.uwaterloo.ca> Mail-Followup-To: Jorge Llambias , lojban@yahoogroups.com References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: ; from jjllambias@hotmail.com on Fri, Feb 23, 2001 at 12:20:48AM +0000 X-eGroups-From: Robin Lee Powell From: Robin Lee Powell On Fri, Feb 23, 2001 at 12:20:48AM +0000, Jorge Llambias wrote: > > >From: Robin Lee Powell > > > >Does anyone interpret: > > > >mi ce do ku'a na'e bo do > > > >as resulting in anything other than the set with the single element > >'mi'? > > Strictly that is the intersection of the set {mi,do} with > something that would not normally be a set. "Someone/thing other > than you" is not really the complement of the one member set {do}. > Perhaps: > > mi ce do ku'a lu'i ro na'e bo do > > You need a set to intersect with another set. Ah, yes. I like that better. Or maybe: mi ce do ku'a na'e bo lu'i do Think I like that best so far. > (I don't understand how {to'e} could possibly work here.) 'polar opposite' sounds like it would generate the inverse when applied to a set to me. -Robin -- http://www.csclub.uwaterloo.ca/~rlpowell/ BTW, I'm male, honest. Information wants to be free. Too bad most of it is crap. --RLP