Class One-To-One-Relation

Arity: 1
Instance-Of: Class, Relation, Set
Subclass-Of:
Unary-Function, Binary-Relation, Function, Relation, Set ...


Slots:

Arity: 2
Inverse:
Slot-Cardinality: 1
Slot-Value-Type: Function

Equivalence Axioms for One-To-One-Relation:

(<=> (One-To-One-Relation ?R)
     (And (Unary-Function ?R)
          (Value-Type ?R Inverse Function)
          (Value-Cardinality ?R Inverse 1)))