假定为外延公理，以致于：formula_4接着"E"被证明为反对称关系且因此变成为一偏序关系。在区域内，标记为"xKy"，为怀特黑德理论(1919年,1925年)上的单一最初关系，且为分体拓扑学的起始点。令"子集"(parthood)为主要分体论定义上最初的二元关系，且令原子公式"Pxy"定义作""x"是"y"的一部分"。咱们假设"P"为一偏序关系。称其为结果的最简化分体论M。假如"x"为"y"的一部分，我们假定"y"包围"x"：C3. formula_5C3精巧的连接分体论这个部分