Definition:Reflexive Reduction