Relation INVERSE-OF-TOPOLOGICAL-RELATION

Arity: 2
Axioms:
(= (Inverse Topological-Relation) Inverse-Of-Topological-Relation)