Re: ordered pairs/n-tuples as collections of sets

On Sun, 3 Jul 2005, Stephen J. Herschkorn wrote:

> Elotemuygrande wrote:
>
> > Suppose you define a 2-tuple this way, which I just found in a book.
> > T=(a,b)={{a}, {a,b}}
>
> William Elliot gave some lovely definitions for T1 and T2 in terms of
> unions and intersections.

a = /\/\(a,b) = \//\(a,b)
b = (\/\/(a,b) - /\/\(a,b)) \/ /\\/(a,b)

Thus instantly,
(a,b) = (r,s) iff a = r, b = s
.

Relevant Pages