Re: ordered pair

From: Stephen J. Herschkorn (herschko_at_rutcor.rutgers.edu)
Date: 08/30/04 

Date: Mon, 30 Aug 2004 18:03:45 GMT

Michael Hamm wrote:

>Is there a standard way of defining ordered pair (or n-tuple)? If so,
>what is it? (I've seen (x,y) defined as {{x},{x,y}} iIrc; is that
>standard?)
>

Yes, the standard defintion of an ordered pair is {{x},{x,y}. The
standard definition of an n-tuple is a function with domain n = {0, 1,
2,..., n-1}. 

-- 
Stephen J. Herschkorn                        herschko@rutcor.rutgers.edu