Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Question about set theory and ordered pairs

  1. Sep 26, 2010 #1

    I was reading through a textbook and I came across the set theoretic definition of an ordered pair (Kuratowski), where (x,y)={{x},{x,y}}, which apparently can be shortened to {x,{x,y}}. This seems to be the standard definition for an ordered pair in set theory so that we can determine both the first and second element using only set theory and no notions of "first" or "second". However, I am wondering why the less complicated definition (x,y)={x,{y}} does not also work.

    Can anyone enlighten me?
  2. jcsd
  3. Sep 26, 2010 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    If {x,{y}}={a,{b}} then either x=a and {y}={b} which is what we want, or
    x={b} and a={y}. So if we just pick y and b arbitrarily we can come up with counterexamples to what an ordered pair should satisfy.

    So for example ({0},1)=({1},0) under your proposed definition
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Question theory ordered Date
I A simple question about probability theory Aug 2, 2017
I Question: Proposed Solution to Two Envelope Paradox Apr 21, 2017
A Queueing theory question Oct 21, 2016
A Question about axiom of regularity Sep 13, 2016
I Basic question about set theory Jul 6, 2016