1: \begin{definition}

2: We say that $G$ has the \emph{Banach density comparison property} if whenever

3: $A\subset G$ and $B\subset G$ are disjoint and satisfy $\underline D(B,A)>0$ then,

4: in the subshift \,$Y^{AB}$ there exists an injection $\tilde\varphi:A\to B$ determined by a block code (recall that $y^{AB}$ is a transitive point in $Y^{AB}$ and $A=A_{y^{AB}},\ B=B_{y^{AB}}$, so the above condition is the same as that in Theorem \ref{tutka} (2)).

5: \end{definition}