Соответствие "циклический сдвиг вперед" - способ установления такого порядка выбора элементов множества, при котором первый элемент множества переносится в конец множества и становится последним. Таким образом, получаемое множество начинается со второго элемента, а заканчивается первым.
Запись соответствия "циклический сдвиг вперед" в символьной форме: csr(N). N - порядковый номер параметра в функции.