Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:400c:c03::22c as permitted sender) client-ip=2a00:1450:400c:c03::22c;
MIME-Version: 1.0
In-Reply-To: <ccebc81f-ae84-40ef-9177-703a93c223d9@googlegroups.com>
References: <54C80768.7020101@gmail.com>
	<CAO7tK2eYD0OF5t70RoZfoV1H7n+fnQaurofcvGVStj-t7FBydQ@mail.gmail.com>
	<ccebc81f-ae84-40ef-9177-703a93c223d9@googlegroups.com>
Date: Wed, 28 Jan 2015 10:03:07 -0300
Message-ID: <CAO7tK2dbSSm=HZ2dcznzSmiXNqeBqM8n_GEsSvojUPY3YVc9wg@mail.gmail.com>
Subject: Re: [lojban] {porsi}
From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=089e0102f212219692050db5fe8d
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
X-Spam_score: 0.8
X-Spam_score_int: 8
X-Spam_bar: /
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 
 Content preview:  On Wed, Jan 28, 2015 at 2:26 AM, la durka <durka42@gmail.com>
    wrote: > I think there has to be a distinction between "ordered set" and
   > "sequence", no? Lojban seemingly conflates the two, but they're not the
   > same -- a set, ordered or not, can't have duplicate elements, but a > sequence
    can. > [...] 
 
 Content analysis details:   (0.8 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 URIBL_BLOCKED          ADMINISTRATOR NOTICE: The query to URIBL was blocked.
                             See
                             http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block
                              for more information.
                             [URIs: googlegroups.com]
  2.7 DNS_FROM_AHBL_RHSBL    RBL: Envelope sender listed in dnsbl.ahbl.org
                             [listed in googlegroups.com.rhsbl.ahbl.org.	IN]
                             [A]
 -0.0 RCVD_IN_MSPIKE_H3      RBL: Good reputation (+3)
                             [74.125.82.57 listed in wl.mailspike.net]
  0.0 T_HEADER_FROM_DIFFERENT_DOMAINS From and EnvelopeFrom 2nd level mail
                             domains are different
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail provider
                             (jjllambias[at]gmail.com)
  0.0 DKIM_ADSP_CUSTOM_MED   No valid author signature, adsp_override is
                             CUSTOM_MED
  0.0 HTML_MESSAGE           BODY: HTML included in message
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
                             [score: 0.0000]
 -0.1 DKIM_VALID             Message has at least one valid DKIM or DK signature
  0.1 DKIM_SIGNED            Message has a DKIM or DK signature, not necessarily valid
  0.0 T_FREEMAIL_FORGED_FROMDOMAIN 2nd level domains in From and
                             EnvelopeFrom freemail headers are different
 -0.0 RCVD_IN_MSPIKE_WL      Mailspike good senders

--089e0102f212219692050db5fe8d
Content-Type: text/plain; charset=UTF-8

On Wed, Jan 28, 2015 at 2:26 AM, la durka <durka42@gmail.com> wrote:

> I think there has to be a distinction between "ordered set" and
> "sequence", no? Lojban seemingly conflates the two, but they're not the
> same -- a set, ordered or not, can't have duplicate elements, but a
> sequence can.
>

For me, porsi relates a sequence porsi1 to its members porsi3, so for me
there are no sets involved.

Since an ordered set is a special type of sequence, we could have
"rolcmipoi" or "cmipoi", "x1 porsi x2 lo ro cmima be x3" for ordered set, a
sequence whose members are the members of a set.

mu'o mi'e xorxes

-- 
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.

--089e0102f212219692050db5fe8d
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">On Wed, Jan 28, 2015 at 2:26 AM, la durka <span dir=3D"ltr">&lt;<a href=
=3D"mailto:durka42@gmail.com" target=3D"_blank">durka42@gmail.com</a>&gt;</=
span> wrote:<br><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8e=
x;border-left:1px #ccc solid;padding-left:1ex"><div dir=3D"ltr">I think the=
re has to be a distinction between &quot;ordered set&quot; and &quot;sequen=
ce&quot;, no? Lojban seemingly conflates the two, but they&#39;re not the s=
ame -- a set, ordered or not, can&#39;t have duplicate elements, but a sequ=
ence can.<br></div></blockquote><div><br></div><div>For me, porsi relates a=
 sequence porsi1 to its members porsi3, so for me there are no sets involve=
d.</div><div><br></div><div>Since an ordered set is a special type of seque=
nce, we could have &quot;rolcmipoi&quot; or &quot;cmipoi&quot;, &quot;x1 po=
rsi x2 lo ro cmima be x3&quot; for ordered set, a sequence whose members ar=
e the members of a set.</div><div><br></div><div>mu&#39;o mi&#39;e xorxes</=
div><div><br></div></div></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban">http:=
//groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--089e0102f212219692050db5fe8d--