序关系。在MT中以标准的外延公理分体论GEM来替代M产生GEMT理论.令"IPxy"表示为""x"是"y"内之一部分"，"IP"定义为：formula_8令σ"x" φ("x")定义为所有在定义域满足φ("x")之分体逻辑和(合并)。σ为一约束变量前缀()算子。GEM的公理假设φ("x")是一个一阶逻辑则这个和就存在着。根据现成的σ及"IP"关系的条件，咱们能定义"x"内部结构，formula_9 而这是"x"所有的内部部分"z"分体之和，或则：formula_10这个定义出两个简单结果