Relation IS-NEIGHBORHOOD-OF

Arity: 2

Axioms:

(= (Inverse Neighborhood) Is-Neighborhood-Of)

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