Mereology is the formal theory of parts and wholes. It has become increasingly important in philosophical disputes in metaphysics and has found application in areas...