|
|
Re: What are sets? again
Posted:
Dec 2, 2012 3:30 AM
|
|
On Dec 2, 5:44 pm, William Elliot <ma...@panix.com> wrote:
> On Sat, 1 Dec 2012, Zuhair wrote:
> > On Dec 1, 1:41 pm, William Elliot <ma...@panix.com> 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"?
> > Neither.
>
> > P represents "is part of"
> > review mereology to understand that relation informally.
>
> What is simple jargon, a brief intuitive description of "is a part of".
>
>
http://en.wikipedia.org/wiki/Mereology
the part-whole relation orders its universe, meaning that everything
is a part of itself (reflexivity), that a part of a part of a whole is
itself a part of that whole (transitivity), and that two distinct
entities cannot each be a part of the other (antisymmetry).
|
|
