Consider the following equivalence relation on $\{0,1\}^\omega$:



> 
> 
> > 
> > $x\simeq y$ iff there is $n\in\omega$ such that $x(k)=y(k)$ for all $k\in\omega$ with $k\geq n$.
> > 
> > 
> > 
> 
> 
> 


It is easy to see that the following is a well-defined ordering relation on $\{0,1\}^\omega/\simeq$ :



> 
> 
> > 
> > $[x]\_\simeq \leq [y]\_\simeq$ iff there is $n\in \omega$ such that $x(k)\leq y(k)$ for all $k\in\omega$ with $k\geq n$.
> > 
> > 
> > 
> 
> 
> 


Let us order $\{0,1\}^\omega$ componentwise. Is there an order-preserving surjective function $f:(\{0,1\}^\omega/\simeq)\to \{0,1\}^\omega$?



Is $\{0,1\}^\omega$ the order-preserving image of $\{0,1\}^\omega$ modulo some finiteness relation?
Yes, in fact, there is a surjective lattice-homomorphism. Your two posets are better known as the Boolean algebras $P(\omega)/fin$ and $P(\omega)$ ($fin$ being the ideal of finite sets). Let $\omega=\bigcup A\_n$ be a partition of $\omega$ into infinitely many infinite sets and let $U\_n$ be a nonprincipal ultrafilter containing $A\_n$ for each $n$. Define $f:P(\omega)/fin\to P(\omega)$ by $f(A)=\{n:A\in U\_n\}$ (under Stone duality, this corresponds to the map $\beta\omega\to\beta\omega\setminus\omega$ that extends the map on $\omega$ sending $n$ to $U\_n$). This is a homomorphism of Boolean algebras, and furthermore it is surjective: for any $B\subseteq \omega$, $f\left(\bigcup\_{n\in B} A\_n\right)=B$.


If you don't care about having a lattice-homomorphism, you don't need to use ultrafilters: just let $U\_n$ be principal filter generated by $A\_n$, and define $f$ as before. Then $f$ will still be surjective and order-preserving.


