Definitions of Reduction