Реверсивное соответствие в согласовании параметров

Реверсивное соответсвие - способ установления обратного порядка выбора элементов множества от последнего к первому.

Запись реверсивного соответствия в символьной форме: re(N). N - порядковый номер параметра в функции.