Quiz: Remember the definition of mal de mer?
early 15c., "a restoring to a former state; a subjugation" (of a people, etc.), from Middle French reducion (13c., Modern French réduction) and directly from Latin reductionem (nominative reductio) "a leading back, restoration," noun of action from past participle stem of reducere (see reduce). Meaning "diminution, a lessening" is from 1670s; chemical sense of "reversion to a simpler form" is from 1660s.
reduction re·duc·tion (rĭ-dŭk'shən)
The act, process, or result of reducing.
The amount by which something is lessened or diminished.
Restoration of an injured or dislocated part to its normal anatomical relation by surgery or manipulation. Also called repositioning.
The first meiotic division, in which the chromosome number is reduced. Also called reduction division, reduction of chromosomes.
A decrease in positive valence or an increase in negative valence by the gaining of electrons.
A reaction in which hydrogen is combined with a compound.
A reaction in which oxygen is removed from a compound.
Our Living Language : Beginning students of chemistry are understandably puzzled by the term reduction: shouldn't a reduced atom or ion be one that loses electrons rather than gains them? The reason for the apparent contradiction comes from the early days of chemistry, where reduction and its counterpart, oxidation, were terms invented to describe reactions in which one substance lost an oxygen atom and the other substance gained it. In a reaction such as that between two molecules of hydrogen (2H2) and one of oxygen (O2) combining to produce two molecules of water (2H2O), the hydrogen atoms have gained oxygen atoms and were said to have become "oxidized," while the oxygen atoms have (as it were) lost them by attaching themselves to the hydrogens, and were said to have become "reduced." Importantly, though, in the process of gaining an oxygen atom, the hydrogen atoms have had to give up their electrons and share them with the oxygen atoms, while the oxygen atoms have gained electrons. Thus comes the apparent paradox that the "reduced" oxygen has in fact gained something, namely electrons. Today the terms oxidation and reduction are used of any reaction, not just one involving oxygen, where electrons are (respectively) lost or gained.
(Or "contraction") The process of transforming an expression according to certain reduction rules. The most important forms are beta reduction (application of a lambda abstraction to one or more argument expressions) and delta reduction (application of a mathematical function to the required number of arguments).
An evaluation strategy (or reduction strategy), determines which part of an expression (which redex) to reduce first. There are many such strategies.
See graph reduction, string reduction, normal order reduction, applicative order reduction, parallel reduction, alpha conversion, beta conversion, delta conversion, eta conversion.