A condition of hardening exhibited by cement after mixing with water. The permanent change or deformation which a material subjected to stress undergoes when its elastic limit is exceeded. An outfit of tools. A tool for shaping rivet heads.
