Re: Anselmisms and gadro

["Jorge Llambias" <jjllambias@hotmail.com>]

la xod cusku di'e

>Whatever applies to a set must also apply to the subsets.

That's not exactly true. For example "... has 5 members"
applies to a set but not to most of its subsets.

I know you meant that whatever applies to every member
of a set must also apply to every member of the subsets.

That is true, but not very informative for the empty set,
since the only subset of the null set is the null set
itself.

But making a positive claim about {lo broda} requires
the set of broda to be non-empty for the claim to be
true. {lo broda cu brode} is trivially false if
{lo'i broda} is the null set, and {ro lo broda cu brode}
is trivially true.

co'o mi'e xorxes