"定义为：formula_8令σ"x" φ("x")定义为所有在定义域满足φ("x")之分体逻辑和(合并)。σ为一约束变量前缀()算子。GEM的公理假设φ("x")是一个一阶逻辑则这个和就存在着。根据现成的σ及"IP"关系的条件，咱们能定义"x"内部结构，formula_9 而这是"x"所有的内部部分"z"分体之和，或则：formula_10这个定义出两个简单结果为：formula_11这儿"W"表全体的个体部分，且C5. formula_12 (子集)算子 i 含有超过两个