In a shift definition the following is defined for a shift:
Shift definitions are used in order to define shift sequences.