Definition: Reduction
Reduction