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". > >
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).