2-Tuple

From GM-RKB
Jump to navigation Jump to search

A 2-Tuple is a tuple with 2 Members.



References

(forall (p) 
     (if (pair p)
         (exists (x y) (and (first x p)(second y p)))))

    • We could define pairs in the traditional way in set theoretic terms. The pair <x,y> is defined as the set {x, {y}}. This is certainly a model of the axioms involving "pair", but it would be pedantic to call this the definition.