[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] {porsi}



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.