"表示为""x"与"y"重覆"，再着手进行"O"的处理，C3的结果为：formula_7要注意到逆命题(converse)是不需要一直坚持着。尽管情况显示重覆是需要连结的，然而连结的情况是反而是不需要重覆的。假如不是这种情况，拓扑学不会仅是一个分体论模式(这儿"重覆"总是表示为原来的或是定义好的两种情况之一)。基础分体拓扑学(MT)即表示这个理论含有最初的"C"与"P"，定义的"E"与"O"，及公理C1-3，而这些公理可以用来确定"P"即是偏序关系。在MT中以标准的外延公理分体论GEM来替代M产