Class BINARY-FUNCTION

A binary function is a function with two arguments and one value. Hence, it is a relation with three arguments.
Subclass-Of: Function
Axioms:
(<=> (Binary-Function ?F)
     (And #'?F
          (Not (Empty ?F))
          (Forall (?List) (=> (Member ?List ?F) (Triple ?List)))))