包含関係⊇と因果関係→は同値である。


また、
AとBの境界が定まるには、形が定まるには二項関係⊇が可換になった時に形が定まる。

つまり、空間の全ては⊇の一元で記述出来る。