Re: Set Theory (was Re: Considering packaging: Microsoft Web Font pack)

[john@dhh.gt.org]

Oliver Elphick wrote:
> How can _all_ be a subset?

Raul writes:
> One set is a subset of another if all the members of the first are
> members of the second.

Therefor a set is a subset of itself [1].  Therefor the "font pack" cannot
be distributed at all by anyone but Microsoft, since that would constitute
distributing a subset.

Fortunately, this is not common meaning of 'subset'.  Ask a lawyer (the
author of that license, for example) what a subset is and he will tell you
that if B is a subset of A then B does not include all of the elements of
A.

In any case, a .deb that contains the "font pack" might be called a
superset of it, but not a subset.


[1] Except for the set of all sets that are not subsets of themselves, of
course.
-- 
John Hasler
john@dhh.gt.org (John Hasler)
Dancing Horse Hill
Elmwood, WI