上最初的二元关系，且令原子公式"Pxy"定义作""x"是"y"的一部分"。咱们假设"P"为一偏序关系。称其为结果的最简化分体论M。假如"x"为"y"的一部分，我们假定"y"包围"x"：C3. formula_5C3精巧的连接分体论这个部分到拓扑学的范围内。令"O"表示为这个分体论"重覆"的二元关系，定义为：formula_6令"Oxy"表示为""x"与"y"重覆"，再着手进行"O"的处理，C3的结果为：formula_7要注意到逆命题(converse)是不需要一直坚持着。尽