2 problems

Let $G$ be a Polish group and let $X$ be a Polish $G$-space, meaning that $G$ acts continuously on $X$. An orbit is a set of the form $G\cdot x$ for some $x\in X$; two points are e…

Let $E_1$ be the eventual-equality equivalence relation on $\{0,1\}^{{\mathbb N}\times{\mathbb N}}$: for sequences $\langle x_n\rangle_n$ and $\langle y_m\rangle_m$ of elements of…