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-beginners@googlegroups.com
Subject: Re: [lojban-beginners] defining a set
Date: Thu, 18 Dec 2014 08:17:37 -0500
Message-ID: <3651881.YGNPRj2BVu@caracal>
User-Agent: KMail/4.13.3 (Linux/3.13.0-43-generic; KDE/4.13.3; x86_64; ; )
In-Reply-To: <f5358d3f-1115-4664-b6c9-076a3bd42013@googlegroups.com>
References: <f5358d3f-1115-4664-b6c9-076a3bd42013@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
Sender: lojban-beginners@googlegroups.com
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -
Content-Length: 1314

On Wednesday, December 17, 2014 23:19:06 ravas wrote:
> *linji*
> 
> x1 is a line/among lines (1-dimensional shape/form) defined by set of
> points x2.
> 
> ----
> 
> How do we define a set?
> 
> la ky. linji la .abu. .e la .ebu.
> 
> Is this correct?

{la .ky. linji} means "K's Line", as a name. I think you mean {ky. linji .abu. 
e .ebu}.

{ky. linji .abu. ce .ebu} is correct, if A and E are points. {ky. linji .abu. 
e .ebu} implies that A and E are (possibly different) sets of points, each of 
which defines the line K.

> Can we define the set prior to using linji?
> 
> la .abu. .e la .ebu. cmima da goi ko'a
> .i la ky. linji ko'a
> 
> Is this correct?

Again drop {la}. There are infinitely many sets that contain A and E (and other 
things), some of which do not define lines, so no.

Pierre

-- 
Jews use a lunisolar calendar; Muslims use a solely lunar calendar.

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