Relation _CLOSED

Arity: 2
Domain: Material-object
Subrelation-Of: Topological-property
Axioms:
(=> (_Closed ?A ?B)
    (Not (Exists (?C ?D)
                 (And (T-Complement ?A ?D)
                      (Interior ?A ?C)
                      (Connected ?C ?D)))))