description of the reduction relation