分体拓扑学

在形式本体论（英语：formal ontology）领域（形而上学的一个分支）以及在计算机与信息科学本体领域，分体拓扑学（英语：mereotopology）是一种关于整体、部分、部分之部分以及部分间边界之间关系的，用于具体表达分体论及拓扑学概念的一阶理论（英语：first-order theory）。