I am asked to prove that if I have two models of dense linear orders DLOs WITH the minimum and maximum. must be izomorpic to each other by fining direct izomorphy.
I seem to always get stuck because the desity i just cannot understand how to count them
im trying something like this: assuming $$M_1=\{a_1 ... a_2 ...\}$$ assuming $$M_1=\{b_1 ... b_2 ...\}$$
I choose $$a_i$$ but if I choose $$H(a_1)=b_i$$
how can I know its in the same order?
sorry for my bad english - translating from hebrew