况，拓扑学不会仅是一个分体论模式(这儿"重覆"总是表示为原来的或是定义好的两种情况之一)。基础分体拓扑学(MT)即表示这个理论含有最初的"C"与"P"，定义的"E"与"O"，及公理C1-3，而这些公理可以用来确定"P"即是偏序关系。在MT中以标准的外延公理分体论GEM来替代M产生GEMT理论.令"IPxy"表示为""x"是"y"内之一部分"，"IP"定义为：formula_8令σ"x" φ("x")定义为所有在定义域满足φ("x")之分体逻辑和(合并)。σ为一约束变量前缀()算子。GEM的公