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



On Sun, 3 Jul 2005, Elotemuygrande wrote:

> Suppose you define a 2-tuple this way, which I just found in a book.
> T=(a,b)={{a}, {a,b}}
>
> Is there a way to express T_1 and T_2, the first and second elements of
> the tuple in terms of standard operations on sets like intersection and
> union

/\/\(a,b)
\/(\/(a,b) - /\(a,b)) if nonnul
\//\(a,b) otherwise
.



Relevant Pages

  • Re: ordered pairs/n-tuples as collections of sets
    ... On Sun, 3 Jul 2005, Stephen J. Herschkorn wrote: ... > Elotemuygrande wrote: ... Prev by Date: ...
    (sci.math)
  • Re: My talk about Godel to the post-grads.
    ... how can a union be a union of A AND B? ... There's nothing to address - the supposed objection simply ... goes around the Sun, ... "Understanding Godel isn't about following his formal proof. ...
    (sci.logic)
  • Re: My talk about Godel to the post-grads.
    ... how can a union be a union of A AND B? ... Address the objection. ... goes around the Sun, ... "Understanding Godel isn't about following his formal proof. ...
    (sci.logic)
  • Re: My talk about Godel to the post-grads.
    ... how can a union be a union of A AND B? ... There's nothing to address - the supposed objection simply ... goes around the Sun, ... "Understanding Godel isn't about following his formal proof. ...
    (sci.logic)
  • Re: My talk about Godel to the post-grads.
    ... how can a union be a union of A AND B? ... Address the objection. ... goes around the Sun, ... "Understanding Godel isn't about following his formal proof. ...
    (sci.logic)