  Mereology in its formal guise is usually couched in a language whose
signature contains only one primitive binary predicate symbol representing the
part of relation, either the proper or improper one. In this paper, we put
forward an approach to mereology that uses mereological sum as its primitive
notion, and we demonstrate that it is definitionally equivalent to the standard
parthood-based theory of mereological structures.
