Relation IS-T-COMPLEMENT-OF

Arity: 2

Axioms:

(= (Inverse T-Complement) Is-T-Complement-Of)

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