Defined folding homomorphisms: r2m, m2r, l2m