Theorem 2.10 ([1]}) 

If \(\mathcal {S}\)  is a class of binary structures with bounded twin-width and \(\Phi \)  is a FO transduction defined on \(\mathcal {S}\) ,
then \(\Phi (\mathcal {S})\)  also has bounded twin-width.

