Relation INTERIOR-OF

Arity: 2

Axioms:

(= (Inverse Interior) Interior-Of)

• Defined in theory: Topology
• Source code: Topology.lisp