text: В силу инволютивности каждого из преобразований обратный порядок даёт исходный результат: X = G 1 T G 2 T … G m − 1 T G m T ( Y m ) = G 1 T G 2 T … G m − 1 T ( Y m − 1 ) = … = G 1 T ( Y 1 ) = X . {\displaystyle X=G_{1}TG_{2}T\ldots G_{m-1}TG_{m}T(Y_{m})=G_{1}TG_{2}T\ldots G_{m-1}T(Y_{m-1})=\ldots =G_{1}T(Y_{1})=X.} В своей работе «Криптография и компьютерная безопасность» Хорст Фейстель описывает два блока преобразований (функций f ( L i , K i ) {\displaystyle f(L_{i},\ K_{i})} ): блок подстановок (s-блок, англ. s-box); блок перестановок (p-блок, англ. p-box).