Reduction

Let
Reduction of a to a' will be denoted by a -> a'.