关系的条件，咱们能定义"x"内部结构，formula_9 而这是"x"所有的内部部分"z"分体之和，或则：formula_10这个定义出两个简单结果为：formula_11这儿"W"表全体的个体部分，且C5. formula_12 (子集)算子 i 含有超过两个公理属性：C6. formula_13 (等幂)C7. formula_14 而"a"×"b"为"a"与"b"的分体乘积，在"Oab"不成立时并不定义。i分散在乘积里。现在看得出来，对于拓扑学的内部算子而言i为