Hint k 3. domácí úloze z MIN401, jaro 2022
Ukažte, že pˇredpis x → {a ∈ Q | a < x} definuje zobrazení R ∪ {∞, −∞} → J , které
je izomorfismem uspoˇrádaných množin.
1