The study of the relations of parts to wholes.

Study of part/whole relationships (also partonomy).

Mereology is a collection of axiomatic formal systems dealing with parts and their respective wholes. Mereology is an application of logic and a branch of ontology.