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

Re: [lojban-beginners] Where should I use sets and where should I use masses?

All sets have the same types of properties such as cardinality, but have non of the properties of the things of which they are a set.
That is to say that {lo'i gerku} and {lo'i jubme} have the same properties, such as cardinality again, but have none of the underlying properties of dogs or tables, respectively.

Sets are required in some places in lojban, such as simxu1 and cmima2 (these relationships don't actually involve the underlying properties of the elements of the set) 

e.g. lo'i ro jbopre cu simxu lo ka ce'u slabu ce'u -> All lojbanists know each other.
e.g. ko cmima lo'i jbopre -> Join the lojbanists!

Aside from that, there is an interesting, albeit unused in practice, thing we can do with sets which is cartesian product, pairing up two sets, with the JOI {pi'u}.

.i mi'e la tsani mu'o

On 2 September 2012 08:47, gleki <gleki.is.my.name@gmail.com> wrote:
{loi prenu cu sruri lo dinju} - why not lo gunma be lo prenu cu sruri lo dinju?

{lo'i tirxu cu cmalu} - why not so'u tirxu?

Can you give better examples?
I'm not a mathematician and don't clearly understand the trick with sets and masses.

--
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To view this discussion on the web visit https://groups.google.com/d/msg/lojban-beginners/-/_ysdbRWQWVYJ.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.

--
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.