Giorgio Lando

reflexive and antisymmetric. While these latter claims do not figure as axioms in the presentation of CEM from above, they are nonetheless CEM theorems. Thus, mereological monism is committed to them.

Transitivity, that is, the principle that if a thing x is part of a thing y that is part of a thing z, then x is part of z as well.

Transitivity tends to hold when these terms are understood in a nonselective way, while Transitivity tends to fail for selective parthood, which is not the subject matter of mereologydis.