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