What is "mereotopology"

n. (context mathematics English) A theory combining mereology and topology, investigating relations between parts and wholes and boundaries between them.

In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts.