kresy abel: Czy w porządku leksykograficznym każdy podzbiór zbioru {{0,1}^ω ∪ {0,1}^*} ma kres górny lub dolny? {0,1}^ω to słowa nieskończone nad alfabetem 0,1 a {0,1}^* to słowa skończone.

abel: bump, wydaje mi się że jest to prawda ale nie jestem pewien jak to udowodnić