Function THE-SMALLER

Arity: 3

Subrelation-Of: Structuring-ternary

Axioms:

(=> (The-Smaller ?A ?B ?C)
    (And (=> (Smaller ?A ?B) (Identity ?C ?A))
         (=> (Smaller ?B ?A) (Identity ?C ?B))))

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