Definition of Reduction