1: \begin{definition}[Equivalent Compression]

2: % We define two compressions of a {\color{dblue} source with {\color{mygreen} deviation %symmetry}} to be equivalent iff their null spaces are  convertible to {\color{dblue} each other} %through finite (or none) steps of Theorem \ref{thm8.1}.

3: % \end{definition}

4: