1: \begin{definition} Consider $  X\in\mathcal R^\infty_{\mathbb Z}(\Omega)$, which we identify with a current $T=T_{  X}$ as in Remark \ref{obs} \eqref{2obs}, and to which we associate $P,Q$ and a measure $\mu$ totally decomposing $Q$ as in Theorem \ref{thmc}. An \emph{elementary operation} on $  X$ consists in replacing $  X$ by the vector field corresponding to $(T_{  X})_\alpha$ obtained as in Remark \ref{obs} \eqref{5obs}, for some function $\alpha$ that only takes values in $[-1,1]$ and that is piecewise constant on a family of sets defined via $b,e$ as in Remark \ref{obs} \eqref{3obs}.\\

2: We indicate by $  X\preceq   X'$ the property of $  X$ of being achievable after performing finitely many elementary operations starting from $  X'$.

3: \end{definition}