 We now turn to the logic of the parthood relation. (See the entry on  mereology  for much more detail.) Here we assume merely that parthood is reflexive and transitive (a ‘preorder’). In a first-order language with identity and a primitive two-place predicate ‘P(x,y)’ for parthood, we can write: 