Subset of a set that is in another set

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite












If we have a set, say



$$ A = emptyset, X $$



and we know that $B subset X$, does that imply $B subset A$?










share|cite|improve this question

















  • 3




    No, in exactly the same way that $xin X$ does not imply that $xin A$. $A$ only contains two elements $emptyset$ and $X$. That these elements are sets themselves is irrelevant. The only subsets of $A$ are then $emptyset, emptyset, X$ and $emptyset,X$.
    – JMoravitz
    Sep 1 at 1:59










  • No. For example, set $X=1, 2, 3$ and $B=2, 3$. Then clearly $B subset X$, but it isn't true that $B subset A$ because the only two elements of $A$ are $varnothing$ and $X$, and neither is $B$.
    – Rócherz
    Sep 1 at 2:02











  • @JMoravitz Why are you posting a perfectly good answer as a comment?
    – Arthur
    Sep 1 at 3:01











  • No, in computer language terms that would be a type error.
    – Henno Brandsma
    Sep 1 at 6:22














up vote
0
down vote

favorite












If we have a set, say



$$ A = emptyset, X $$



and we know that $B subset X$, does that imply $B subset A$?










share|cite|improve this question

















  • 3




    No, in exactly the same way that $xin X$ does not imply that $xin A$. $A$ only contains two elements $emptyset$ and $X$. That these elements are sets themselves is irrelevant. The only subsets of $A$ are then $emptyset, emptyset, X$ and $emptyset,X$.
    – JMoravitz
    Sep 1 at 1:59










  • No. For example, set $X=1, 2, 3$ and $B=2, 3$. Then clearly $B subset X$, but it isn't true that $B subset A$ because the only two elements of $A$ are $varnothing$ and $X$, and neither is $B$.
    – Rócherz
    Sep 1 at 2:02











  • @JMoravitz Why are you posting a perfectly good answer as a comment?
    – Arthur
    Sep 1 at 3:01











  • No, in computer language terms that would be a type error.
    – Henno Brandsma
    Sep 1 at 6:22












up vote
0
down vote

favorite









up vote
0
down vote

favorite











If we have a set, say



$$ A = emptyset, X $$



and we know that $B subset X$, does that imply $B subset A$?










share|cite|improve this question













If we have a set, say



$$ A = emptyset, X $$



and we know that $B subset X$, does that imply $B subset A$?







elementary-set-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Sep 1 at 1:54









ketchup

645




645







  • 3




    No, in exactly the same way that $xin X$ does not imply that $xin A$. $A$ only contains two elements $emptyset$ and $X$. That these elements are sets themselves is irrelevant. The only subsets of $A$ are then $emptyset, emptyset, X$ and $emptyset,X$.
    – JMoravitz
    Sep 1 at 1:59










  • No. For example, set $X=1, 2, 3$ and $B=2, 3$. Then clearly $B subset X$, but it isn't true that $B subset A$ because the only two elements of $A$ are $varnothing$ and $X$, and neither is $B$.
    – Rócherz
    Sep 1 at 2:02











  • @JMoravitz Why are you posting a perfectly good answer as a comment?
    – Arthur
    Sep 1 at 3:01











  • No, in computer language terms that would be a type error.
    – Henno Brandsma
    Sep 1 at 6:22












  • 3




    No, in exactly the same way that $xin X$ does not imply that $xin A$. $A$ only contains two elements $emptyset$ and $X$. That these elements are sets themselves is irrelevant. The only subsets of $A$ are then $emptyset, emptyset, X$ and $emptyset,X$.
    – JMoravitz
    Sep 1 at 1:59










  • No. For example, set $X=1, 2, 3$ and $B=2, 3$. Then clearly $B subset X$, but it isn't true that $B subset A$ because the only two elements of $A$ are $varnothing$ and $X$, and neither is $B$.
    – Rócherz
    Sep 1 at 2:02











  • @JMoravitz Why are you posting a perfectly good answer as a comment?
    – Arthur
    Sep 1 at 3:01











  • No, in computer language terms that would be a type error.
    – Henno Brandsma
    Sep 1 at 6:22







3




3




No, in exactly the same way that $xin X$ does not imply that $xin A$. $A$ only contains two elements $emptyset$ and $X$. That these elements are sets themselves is irrelevant. The only subsets of $A$ are then $emptyset, emptyset, X$ and $emptyset,X$.
– JMoravitz
Sep 1 at 1:59




No, in exactly the same way that $xin X$ does not imply that $xin A$. $A$ only contains two elements $emptyset$ and $X$. That these elements are sets themselves is irrelevant. The only subsets of $A$ are then $emptyset, emptyset, X$ and $emptyset,X$.
– JMoravitz
Sep 1 at 1:59












No. For example, set $X=1, 2, 3$ and $B=2, 3$. Then clearly $B subset X$, but it isn't true that $B subset A$ because the only two elements of $A$ are $varnothing$ and $X$, and neither is $B$.
– Rócherz
Sep 1 at 2:02





No. For example, set $X=1, 2, 3$ and $B=2, 3$. Then clearly $B subset X$, but it isn't true that $B subset A$ because the only two elements of $A$ are $varnothing$ and $X$, and neither is $B$.
– Rócherz
Sep 1 at 2:02













@JMoravitz Why are you posting a perfectly good answer as a comment?
– Arthur
Sep 1 at 3:01





@JMoravitz Why are you posting a perfectly good answer as a comment?
– Arthur
Sep 1 at 3:01













No, in computer language terms that would be a type error.
– Henno Brandsma
Sep 1 at 6:22




No, in computer language terms that would be a type error.
– Henno Brandsma
Sep 1 at 6:22










1 Answer
1






active

oldest

votes

















up vote
0
down vote













Answer -



No, it doesn't.




A Definition -



  • Subset - A set, $mathbbY$ is said to be a subset of another set, $mathbbZ$, ( denoted as $mathbbY subset mathbbZ$ ) iff, $forall xin mathbbY$, $xin mathbbZ$.


Illustrative example -



Let, $mathbbX=1,2$ and $mathbbB=1$.



Now, note that $mathbbB$ is clearly a subset of $mathbbX$.



But, $mathbbA := phi, 1,2 = ,1,2$. Clearly, $1in mathbbB$, but $1not in mathbbA $. Thus, $mathbbB$ is not a subset of $mathbbA$.




General Explanation -



Here, your set $mathbbB$ is a subset of $mathbbX$. Now, if $mathbbX$ were to be a subset of $mathbbA$, then $mathbbB$ would clearly be a subset of $mathbbA$, I.e.$mathbbB subset mathbbX$ and $mathbbX subset mathbbA Rightarrow mathbbB subset mathbbA$.



But here, $mathbbX $ is merely an element of $mathbbA$. This means that the elements of $mathbbX$ are not elements of $mathbbA$ but are elements of a set which is an element of $mathbbA$.



Similarly, since $ mathbbB subset mathbbX $, we have the fact that it's elements are also not elements of $mathbbA$.



Thus, $mathbbB$ is not subset of $mathbbA$.






share|cite|improve this answer






















    Your Answer




    StackExchange.ifUsing("editor", function ()
    return StackExchange.using("mathjaxEditing", function ()
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    );
    );
    , "mathjax-editing");

    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );













     

    draft saved


    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2901282%2fsubset-of-a-set-that-is-in-another-set%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    0
    down vote













    Answer -



    No, it doesn't.




    A Definition -



    • Subset - A set, $mathbbY$ is said to be a subset of another set, $mathbbZ$, ( denoted as $mathbbY subset mathbbZ$ ) iff, $forall xin mathbbY$, $xin mathbbZ$.


    Illustrative example -



    Let, $mathbbX=1,2$ and $mathbbB=1$.



    Now, note that $mathbbB$ is clearly a subset of $mathbbX$.



    But, $mathbbA := phi, 1,2 = ,1,2$. Clearly, $1in mathbbB$, but $1not in mathbbA $. Thus, $mathbbB$ is not a subset of $mathbbA$.




    General Explanation -



    Here, your set $mathbbB$ is a subset of $mathbbX$. Now, if $mathbbX$ were to be a subset of $mathbbA$, then $mathbbB$ would clearly be a subset of $mathbbA$, I.e.$mathbbB subset mathbbX$ and $mathbbX subset mathbbA Rightarrow mathbbB subset mathbbA$.



    But here, $mathbbX $ is merely an element of $mathbbA$. This means that the elements of $mathbbX$ are not elements of $mathbbA$ but are elements of a set which is an element of $mathbbA$.



    Similarly, since $ mathbbB subset mathbbX $, we have the fact that it's elements are also not elements of $mathbbA$.



    Thus, $mathbbB$ is not subset of $mathbbA$.






    share|cite|improve this answer


























      up vote
      0
      down vote













      Answer -



      No, it doesn't.




      A Definition -



      • Subset - A set, $mathbbY$ is said to be a subset of another set, $mathbbZ$, ( denoted as $mathbbY subset mathbbZ$ ) iff, $forall xin mathbbY$, $xin mathbbZ$.


      Illustrative example -



      Let, $mathbbX=1,2$ and $mathbbB=1$.



      Now, note that $mathbbB$ is clearly a subset of $mathbbX$.



      But, $mathbbA := phi, 1,2 = ,1,2$. Clearly, $1in mathbbB$, but $1not in mathbbA $. Thus, $mathbbB$ is not a subset of $mathbbA$.




      General Explanation -



      Here, your set $mathbbB$ is a subset of $mathbbX$. Now, if $mathbbX$ were to be a subset of $mathbbA$, then $mathbbB$ would clearly be a subset of $mathbbA$, I.e.$mathbbB subset mathbbX$ and $mathbbX subset mathbbA Rightarrow mathbbB subset mathbbA$.



      But here, $mathbbX $ is merely an element of $mathbbA$. This means that the elements of $mathbbX$ are not elements of $mathbbA$ but are elements of a set which is an element of $mathbbA$.



      Similarly, since $ mathbbB subset mathbbX $, we have the fact that it's elements are also not elements of $mathbbA$.



      Thus, $mathbbB$ is not subset of $mathbbA$.






      share|cite|improve this answer
























        up vote
        0
        down vote










        up vote
        0
        down vote









        Answer -



        No, it doesn't.




        A Definition -



        • Subset - A set, $mathbbY$ is said to be a subset of another set, $mathbbZ$, ( denoted as $mathbbY subset mathbbZ$ ) iff, $forall xin mathbbY$, $xin mathbbZ$.


        Illustrative example -



        Let, $mathbbX=1,2$ and $mathbbB=1$.



        Now, note that $mathbbB$ is clearly a subset of $mathbbX$.



        But, $mathbbA := phi, 1,2 = ,1,2$. Clearly, $1in mathbbB$, but $1not in mathbbA $. Thus, $mathbbB$ is not a subset of $mathbbA$.




        General Explanation -



        Here, your set $mathbbB$ is a subset of $mathbbX$. Now, if $mathbbX$ were to be a subset of $mathbbA$, then $mathbbB$ would clearly be a subset of $mathbbA$, I.e.$mathbbB subset mathbbX$ and $mathbbX subset mathbbA Rightarrow mathbbB subset mathbbA$.



        But here, $mathbbX $ is merely an element of $mathbbA$. This means that the elements of $mathbbX$ are not elements of $mathbbA$ but are elements of a set which is an element of $mathbbA$.



        Similarly, since $ mathbbB subset mathbbX $, we have the fact that it's elements are also not elements of $mathbbA$.



        Thus, $mathbbB$ is not subset of $mathbbA$.






        share|cite|improve this answer














        Answer -



        No, it doesn't.




        A Definition -



        • Subset - A set, $mathbbY$ is said to be a subset of another set, $mathbbZ$, ( denoted as $mathbbY subset mathbbZ$ ) iff, $forall xin mathbbY$, $xin mathbbZ$.


        Illustrative example -



        Let, $mathbbX=1,2$ and $mathbbB=1$.



        Now, note that $mathbbB$ is clearly a subset of $mathbbX$.



        But, $mathbbA := phi, 1,2 = ,1,2$. Clearly, $1in mathbbB$, but $1not in mathbbA $. Thus, $mathbbB$ is not a subset of $mathbbA$.




        General Explanation -



        Here, your set $mathbbB$ is a subset of $mathbbX$. Now, if $mathbbX$ were to be a subset of $mathbbA$, then $mathbbB$ would clearly be a subset of $mathbbA$, I.e.$mathbbB subset mathbbX$ and $mathbbX subset mathbbA Rightarrow mathbbB subset mathbbA$.



        But here, $mathbbX $ is merely an element of $mathbbA$. This means that the elements of $mathbbX$ are not elements of $mathbbA$ but are elements of a set which is an element of $mathbbA$.



        Similarly, since $ mathbbB subset mathbbX $, we have the fact that it's elements are also not elements of $mathbbA$.



        Thus, $mathbbB$ is not subset of $mathbbA$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Sep 1 at 3:18

























        answered Sep 1 at 3:11









        Devashish Kaushik

        29714




        29714



























             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2901282%2fsubset-of-a-set-that-is-in-another-set%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            tkz-euclide: tkzDrawCircle[R] not working

            How to combine Bézier curves to a surface?

            1st Magritte Awards