Relation INVERSE-OF-STRUCTURING-RELATION

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