Received: from mail-ie0-f188.google.com ([209.85.223.188]:46151) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1Y1VMg-0005HT-2e for lojban-beginners-archive@lojban.org; Wed, 17 Dec 2014 23:19:18 -0800 Received: by mail-ie0-f188.google.com with SMTP id tr6sf75214ieb.15 for ; Wed, 17 Dec 2014 23:19:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:message-id:subject:mime-version:content-type :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe; bh=QPzx50129D+KYgYkhVGsdal2BwExTNPq6VB7b3b5rUY=; b=lqnGnhRQY/yhI3FM0+e7uMhbZGhMMaBBQwfChCl068rI/svwa4syeRo2YWDhP05yIN rCPaTxdI+O+GnU/DArzYpjiaJXySta1wQGI8tBLc4RDjJqqTv3HwQ1vF/SNAJFq6FUOr 5/OEI5tU+KurZcAKnkh6ubGYPjUeSzpV5zGEQEvSllbQ1lqF+wX3bTsOWwbJ0i9Ewn2Z dG0iSimoloE7pJ83hBzIZvMZX6NFzI50e2jAguwRlZq3dX/IEBSvJYC1glP0/lhBauMy RB1ekYiQH2RHYobEFbkGYWhckSx2W8GKMNpDs3VvCmU3F1MBB8ZjXr/PHMAMpSV3FF0f VUTQ== X-Received: by 10.182.216.202 with SMTP id os10mr5601obc.8.1418887148136; Wed, 17 Dec 2014 23:19:08 -0800 (PST) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.182.186.73 with SMTP id fi9ls1301990obc.89.gmail; Wed, 17 Dec 2014 23:19:07 -0800 (PST) X-Received: by 10.182.29.136 with SMTP id k8mr2726obh.25.1418887147085; Wed, 17 Dec 2014 23:19:07 -0800 (PST) Date: Wed, 17 Dec 2014 23:19:06 -0800 (PST) From: ravas To: lojban-beginners@googlegroups.com Message-Id: Subject: [lojban-beginners] defining a set MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_5128_1051014260.1418887146616" X-Original-Sender: ravas@outlook.com Reply-To: lojban-beginners@googlegroups.com Precedence: list Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com List-ID: X-Google-Group-Id: 300742228892 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - Content-Length: 2877 ------=_Part_5128_1051014260.1418887146616 Content-Type: multipart/alternative; boundary="----=_Part_5129_1343671245.1418887146616" ------=_Part_5129_1343671245.1418887146616 Content-Type: text/plain; charset=UTF-8 *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? ---- 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? ---- The use case is instructions for geometric construction. .a'o -- 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. ------=_Part_5129_1343671245.1418887146616 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

linji

x1 is a line/among lines (1-dimensional shape/form) defined by set o= f points x2.

----

How do we define a set?

la ky. linji la .abu. .e la .ebu.

Is this correct?

----

Can we define the set prior to using linji?

la .abu. .e la .ebu. cmima da goi ko'a=
.i la ky. li= nji ko'a

Is this correct?

----

The use case is= instructions for geometric construction.

.a'o


--
You received this message because you are subscribed to the Google Groups &= quot;Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lo= jban-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 http= s://groups.google.com/d/optout.
------=_Part_5129_1343671245.1418887146616-- ------=_Part_5128_1051014260.1418887146616--