Received-SPF: none (google.com: phma@bezitopo.org does not designate permitted sender hosts) client-ip=107.14.166.226;
From: Pierre Abbat <phma@bezitopo.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] How technical are gismu?
Date: Tue, 30 Sep 2014 09:21:02 -0400
Message-ID: <4873682.Eoyztxjy3x@caracal>
User-Agent: KMail/4.13.3 (Linux/3.13.0-36-generic; KDE/4.13.3; x86_64; ; )
In-Reply-To: <d1b4afcb-d594-40f1-a12d-485be528a3d7@googlegroups.com>
References: <8362791c-ebc0-43b9-8f7e-edd00df6863b@googlegroups.com> <3516990.DRAvr7d8TB@caracal> <d1b4afcb-d594-40f1-a12d-485be528a3d7@googlegroups.com>
MIME-Version: 1.0
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: text/plain; charset=ISO-8859-1
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

On Tuesday, September 30, 2014 05:12:29 Romaji #### wrote:
> two questions
> 
>    1. does that show the precise mathematical concept as a sumti?
>    2. How would that be broken down in English? Or with split lujivo?

It's a selbri. To get a sumti, precede it with an article.

{kortolvau} is a lujvo of {korbi to'e vasru}, "boundary opposite-of 
containing". Substituting the other members of NAhE or zero we get:
korvau: x1 is closed
korbi zei je'a zei vasru ({je'a} has no rafsi): x1 is indeed closed
kornalvau: x1 is not closed
kornorvau: x1 is neither closed nor open
and there are two experimental cmavo in the selma'o, which I'll ignore. This 
leaves "not open" and "clopen", which are {na'e kortolvau} and, I guess, {to'e 
kornorvau}. Another possibility for "clopen" is {korcau}, "lacking a 
boundary". Sets that consist entirely of boundary, such as the Julia set of i, 
could be called {nercau}.

Pierre
-- 
Don't buy a French car in Holland. It may be a citroen.

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.