塞迪与瓦力(1999年: chpt. 4)着述里的公理C.n系列。咱们从拓扑的基本理论谈起，如二元关系的"连接"特性；基本原子公式"Cxy"表示""x"是连接到"y""。连结是被控制着，至少，是经由这些公理来达成：C1. formula_1 (自反关系)C2. formula_2 (对称)现在假定二元关系为"E"，定义为：formula_3"Exy"读为""y"包围"x""且也全然为拓扑关系。而C1-2的表达结果即"E"是自反关系及传递关系，因此亦是预序关系。假如"E"也假定为外延公