the giving a greater degree of hardness to bodies than they had before.

There are several ways of hardening iron and steel, as by hammering them, quenching them when hot in cold water, &c. CHEMISTRY, p. 134.