Relation PROPER-SUPERRELATIONS

Arity: 2

Axioms:

(= (Inverse Proper-Subrelations) Proper-Superrelations)

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp