Set of ordered pairs [closed]












-1












$begingroup$


Let $X$ be a set of ordered pairs. How can I show that there exists sets $A$ and $B$ that $Xsubseteq A times B$?










share|cite|improve this question











$endgroup$



closed as off-topic by Saad, Anurag A, Lord_Farin, mrtaurho, Namaste Dec 25 '18 at 15:06


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Saad, Anurag A, Lord_Farin, mrtaurho, Namaste

If this question can be reworded to fit the rules in the help center, please edit the question.





















    -1












    $begingroup$


    Let $X$ be a set of ordered pairs. How can I show that there exists sets $A$ and $B$ that $Xsubseteq A times B$?










    share|cite|improve this question











    $endgroup$



    closed as off-topic by Saad, Anurag A, Lord_Farin, mrtaurho, Namaste Dec 25 '18 at 15:06


    This question appears to be off-topic. The users who voted to close gave this specific reason:


    • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Saad, Anurag A, Lord_Farin, mrtaurho, Namaste

    If this question can be reworded to fit the rules in the help center, please edit the question.



















      -1












      -1








      -1





      $begingroup$


      Let $X$ be a set of ordered pairs. How can I show that there exists sets $A$ and $B$ that $Xsubseteq A times B$?










      share|cite|improve this question











      $endgroup$




      Let $X$ be a set of ordered pairs. How can I show that there exists sets $A$ and $B$ that $Xsubseteq A times B$?







      elementary-set-theory






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Dec 25 '18 at 11:31









      Asaf Karagila

      306k33438769




      306k33438769










      asked Dec 25 '18 at 7:57









      t.ysnt.ysn

      1397




      1397




      closed as off-topic by Saad, Anurag A, Lord_Farin, mrtaurho, Namaste Dec 25 '18 at 15:06


      This question appears to be off-topic. The users who voted to close gave this specific reason:


      • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Saad, Anurag A, Lord_Farin, mrtaurho, Namaste

      If this question can be reworded to fit the rules in the help center, please edit the question.







      closed as off-topic by Saad, Anurag A, Lord_Farin, mrtaurho, Namaste Dec 25 '18 at 15:06


      This question appears to be off-topic. The users who voted to close gave this specific reason:


      • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Saad, Anurag A, Lord_Farin, mrtaurho, Namaste

      If this question can be reworded to fit the rules in the help center, please edit the question.






















          2 Answers
          2






          active

          oldest

          votes


















          2












          $begingroup$

          Just take $A={amidexists b; (a,b)in X}$.



          Any idea of your own now what to take for $B $?






          share|cite|improve this answer









          $endgroup$





















            1












            $begingroup$

            Let A be the domain of X (first element of every pair in X), and B be the range of X (second element of every pair in X). These do exist, and X is surely the subset of their cartesian product.






            share|cite|improve this answer









            $endgroup$




















              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              2












              $begingroup$

              Just take $A={amidexists b; (a,b)in X}$.



              Any idea of your own now what to take for $B $?






              share|cite|improve this answer









              $endgroup$


















                2












                $begingroup$

                Just take $A={amidexists b; (a,b)in X}$.



                Any idea of your own now what to take for $B $?






                share|cite|improve this answer









                $endgroup$
















                  2












                  2








                  2





                  $begingroup$

                  Just take $A={amidexists b; (a,b)in X}$.



                  Any idea of your own now what to take for $B $?






                  share|cite|improve this answer









                  $endgroup$



                  Just take $A={amidexists b; (a,b)in X}$.



                  Any idea of your own now what to take for $B $?







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Dec 25 '18 at 8:04









                  drhabdrhab

                  103k545136




                  103k545136























                      1












                      $begingroup$

                      Let A be the domain of X (first element of every pair in X), and B be the range of X (second element of every pair in X). These do exist, and X is surely the subset of their cartesian product.






                      share|cite|improve this answer









                      $endgroup$


















                        1












                        $begingroup$

                        Let A be the domain of X (first element of every pair in X), and B be the range of X (second element of every pair in X). These do exist, and X is surely the subset of their cartesian product.






                        share|cite|improve this answer









                        $endgroup$
















                          1












                          1








                          1





                          $begingroup$

                          Let A be the domain of X (first element of every pair in X), and B be the range of X (second element of every pair in X). These do exist, and X is surely the subset of their cartesian product.






                          share|cite|improve this answer









                          $endgroup$



                          Let A be the domain of X (first element of every pair in X), and B be the range of X (second element of every pair in X). These do exist, and X is surely the subset of their cartesian product.







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Dec 25 '18 at 8:01









                          FrostFrost

                          1776




                          1776















                              Popular posts from this blog

                              How do I know what Microsoft account the skydrive app is syncing to?

                              When does type information flow backwards in C++?

                              Grease: Live!