more from this thinker | more from this text
Full Idea
Two individuals are 'disjoint' mereologically if and only if they do not overlap, expressed by 'x | y', read as 'x is disjoint from y'. Disjointedness is symmetric.
Clarification
[The vertical stroke actually curves to the right at the lower end]
Gist of Idea
Disjoint: two individuals are disjoint iff they do not overlap, written 'x | y'
Source
Peter Simons (Parts [1987], 1.1.04)
Book Ref
Simons,Peter: 'Parts: a Study in Ontology' [OUP 1987], p.13
| 12822 | Proper or improper part: x < y, 'x is (a) part of y' [Simons] |
| 12823 | Overlap: two parts overlap iff they have a part in common, expressed as 'x o y' [Simons] |
| 12824 | Disjoint: two individuals are disjoint iff they do not overlap, written 'x | y' [Simons] |
| 12825 | Product: the product of two individuals is the sum of all of their overlaps, written 'x · y' [Simons] |
| 12826 | Sum: the sum of individuals is what is overlapped if either of them are, written 'x + y' [Simons] |
| 12827 | Difference: the difference of individuals is the remainder of an overlap, written 'x - y' [Simons] |
| 12828 | General sum: the sum of objects satisfying some predicate, written σx(Fx) [Simons] |
| 12829 | General product: the nucleus of all objects satisfying a predicate, written πx(Fx) [Simons] |
| 12830 | Universe: the mereological sum of all objects whatever, written 'U' [Simons] |
| 12831 | Atom: an individual with no proper parts, written 'At x' [Simons] |
| 12844 | Dissective: stuff is dissective if parts of the stuff are always the stuff [Simons] |