Is every set relation $R$ that is extensional and well-founded, necessarily linear?












0












$begingroup$


Let $R$ be the relation. Due to extensionality and well-foundedness, exists a unique minimal element and a unique successor, And the one after that, and a unique limit point for them. Does this necessarily mean that the relation is a well-ordering? I cannot find any counterexample.










share|cite|improve this question











$endgroup$












  • $begingroup$
    What do you mean by $R$ is extensional?
    $endgroup$
    – Holo
    Dec 22 '18 at 14:09










  • $begingroup$
    If ${x|x<x_1 }={x|x<x_2 }$ then $x_1 =x_2$.
    $endgroup$
    – Uri George Peterzil
    Dec 22 '18 at 14:11






  • 2




    $begingroup$
    What's the definition of well-founded you're using? Because I'm familiar with this one, which does not give you that minimal elements are unique, or that you have a unique successor operation.
    $endgroup$
    – Malice Vidrine
    Dec 22 '18 at 17:43
















0












$begingroup$


Let $R$ be the relation. Due to extensionality and well-foundedness, exists a unique minimal element and a unique successor, And the one after that, and a unique limit point for them. Does this necessarily mean that the relation is a well-ordering? I cannot find any counterexample.










share|cite|improve this question











$endgroup$












  • $begingroup$
    What do you mean by $R$ is extensional?
    $endgroup$
    – Holo
    Dec 22 '18 at 14:09










  • $begingroup$
    If ${x|x<x_1 }={x|x<x_2 }$ then $x_1 =x_2$.
    $endgroup$
    – Uri George Peterzil
    Dec 22 '18 at 14:11






  • 2




    $begingroup$
    What's the definition of well-founded you're using? Because I'm familiar with this one, which does not give you that minimal elements are unique, or that you have a unique successor operation.
    $endgroup$
    – Malice Vidrine
    Dec 22 '18 at 17:43














0












0








0





$begingroup$


Let $R$ be the relation. Due to extensionality and well-foundedness, exists a unique minimal element and a unique successor, And the one after that, and a unique limit point for them. Does this necessarily mean that the relation is a well-ordering? I cannot find any counterexample.










share|cite|improve this question











$endgroup$




Let $R$ be the relation. Due to extensionality and well-foundedness, exists a unique minimal element and a unique successor, And the one after that, and a unique limit point for them. Does this necessarily mean that the relation is a well-ordering? I cannot find any counterexample.







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 22 '18 at 14:08









Holo

5,75521031




5,75521031










asked Dec 22 '18 at 14:06









Uri George PeterzilUri George Peterzil

929




929












  • $begingroup$
    What do you mean by $R$ is extensional?
    $endgroup$
    – Holo
    Dec 22 '18 at 14:09










  • $begingroup$
    If ${x|x<x_1 }={x|x<x_2 }$ then $x_1 =x_2$.
    $endgroup$
    – Uri George Peterzil
    Dec 22 '18 at 14:11






  • 2




    $begingroup$
    What's the definition of well-founded you're using? Because I'm familiar with this one, which does not give you that minimal elements are unique, or that you have a unique successor operation.
    $endgroup$
    – Malice Vidrine
    Dec 22 '18 at 17:43


















  • $begingroup$
    What do you mean by $R$ is extensional?
    $endgroup$
    – Holo
    Dec 22 '18 at 14:09










  • $begingroup$
    If ${x|x<x_1 }={x|x<x_2 }$ then $x_1 =x_2$.
    $endgroup$
    – Uri George Peterzil
    Dec 22 '18 at 14:11






  • 2




    $begingroup$
    What's the definition of well-founded you're using? Because I'm familiar with this one, which does not give you that minimal elements are unique, or that you have a unique successor operation.
    $endgroup$
    – Malice Vidrine
    Dec 22 '18 at 17:43
















$begingroup$
What do you mean by $R$ is extensional?
$endgroup$
– Holo
Dec 22 '18 at 14:09




$begingroup$
What do you mean by $R$ is extensional?
$endgroup$
– Holo
Dec 22 '18 at 14:09












$begingroup$
If ${x|x<x_1 }={x|x<x_2 }$ then $x_1 =x_2$.
$endgroup$
– Uri George Peterzil
Dec 22 '18 at 14:11




$begingroup$
If ${x|x<x_1 }={x|x<x_2 }$ then $x_1 =x_2$.
$endgroup$
– Uri George Peterzil
Dec 22 '18 at 14:11




2




2




$begingroup$
What's the definition of well-founded you're using? Because I'm familiar with this one, which does not give you that minimal elements are unique, or that you have a unique successor operation.
$endgroup$
– Malice Vidrine
Dec 22 '18 at 17:43




$begingroup$
What's the definition of well-founded you're using? Because I'm familiar with this one, which does not give you that minimal elements are unique, or that you have a unique successor operation.
$endgroup$
– Malice Vidrine
Dec 22 '18 at 17:43










1 Answer
1






active

oldest

votes


















3












$begingroup$

A relation that is extensional and well-founded is not necessarily a well-order.



For instance take relation $in_A$ on transitive set: $$A={0,1,2,{1,2}}$$ where $0:=varnothing$, $1:={0}$ and $2:={0,1}$.



The elements $0$ and ${1,2}$ are incomparable.





A relation that is extensional and well-founded will be a well-order iff the relation is also transitive.



Further you might be interested in the Mostowski collapse lemma.






share|cite|improve this answer











$endgroup$













    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',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    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%2f3049487%2fis-every-set-relation-r-that-is-extensional-and-well-founded-necessarily-line%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    3












    $begingroup$

    A relation that is extensional and well-founded is not necessarily a well-order.



    For instance take relation $in_A$ on transitive set: $$A={0,1,2,{1,2}}$$ where $0:=varnothing$, $1:={0}$ and $2:={0,1}$.



    The elements $0$ and ${1,2}$ are incomparable.





    A relation that is extensional and well-founded will be a well-order iff the relation is also transitive.



    Further you might be interested in the Mostowski collapse lemma.






    share|cite|improve this answer











    $endgroup$


















      3












      $begingroup$

      A relation that is extensional and well-founded is not necessarily a well-order.



      For instance take relation $in_A$ on transitive set: $$A={0,1,2,{1,2}}$$ where $0:=varnothing$, $1:={0}$ and $2:={0,1}$.



      The elements $0$ and ${1,2}$ are incomparable.





      A relation that is extensional and well-founded will be a well-order iff the relation is also transitive.



      Further you might be interested in the Mostowski collapse lemma.






      share|cite|improve this answer











      $endgroup$
















        3












        3








        3





        $begingroup$

        A relation that is extensional and well-founded is not necessarily a well-order.



        For instance take relation $in_A$ on transitive set: $$A={0,1,2,{1,2}}$$ where $0:=varnothing$, $1:={0}$ and $2:={0,1}$.



        The elements $0$ and ${1,2}$ are incomparable.





        A relation that is extensional and well-founded will be a well-order iff the relation is also transitive.



        Further you might be interested in the Mostowski collapse lemma.






        share|cite|improve this answer











        $endgroup$



        A relation that is extensional and well-founded is not necessarily a well-order.



        For instance take relation $in_A$ on transitive set: $$A={0,1,2,{1,2}}$$ where $0:=varnothing$, $1:={0}$ and $2:={0,1}$.



        The elements $0$ and ${1,2}$ are incomparable.





        A relation that is extensional and well-founded will be a well-order iff the relation is also transitive.



        Further you might be interested in the Mostowski collapse lemma.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Jan 12 at 7:49

























        answered Dec 22 '18 at 14:42









        drhabdrhab

        101k544130




        101k544130






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3049487%2fis-every-set-relation-r-that-is-extensional-and-well-founded-necessarily-line%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

            SQL update select statement

            WPF add header to Image with URL pettitions [duplicate]