语变量，则"C"为一已定义的谓语变量。假如主要的分体论是没有原子公式且比GEM来的弱，这公理确定是缺少原子公式(P9出于"卡塞迪与瓦力1999"的论述)那就可以被C9替代，如此则可以设想没有一个个体有拓扑边界：C9. formula_17当定义域包含有几何图形时，则边界值可以是点、曲线，或面。考虑到其它的本体论时、边界值能够代表什么意思，讨论起来不是一件简单的事情，在卡塞迪与瓦力(1999年: chpt. 5)的着作里有讨论到这些问题。