sprawdź że marta: X−limsup , a nie należy do X, Y=Xu{a} Dla x,y∊Y xδy⇔y=a lub (x∊X i y∊X i x≤y) sprawdź że <Y,moce zbiorów liczb przeliczalnych > jest zbiór kim uporzadkowany

marta: