Date: Dec 1, 2012 8:46 AM
Subject: Re: What are sets? again

On Dec 1, 1:41 pm, William Elliot <> wrote:
> On Fri, 30 Nov 2012, Zuhair wrote:
> > The following is an account about what sets are,
> > Language: FOL + P, Rp
> > P stands for "is part of"

> Does P represent "subset of" or "member of"?


P represents "is part of"
review mereology to understand that relation informally.

> > Rp stands for "represents"
> Give an intuitive example or two how you interpreted "represents".

Informally representation by representatives is what is meant here.
Like for example: an attorny representing the defendant, or in an
Ambassador representing his country, etc... A representative might be
among the collection it represents like for example in fathers
representing their families or it might not be like the attorny
example above.

Axioms of this theory further characterise both Part-hood relation and
Represention relation.