反关系)C2. formula_2 (对称)现在假定二元关系为"E"，定义为：formula_3"Exy"读为""y"包围"x""且也全然为拓扑关系。而C1-2的表达结果即"E"是自反关系及传递关系，因此亦是预序关系。假如"E"也假定为外延公理，以致于：formula_4接着"E"被证明为反对称关系且因此变成为一偏序关系。在区域内，标记为"xKy"，为怀特黑德理论(1919年,1925年)上的单一最初关系，且为分体拓扑学的起始点。令"子集"(parthood)为主要分体论定义上最