This is an old revision of the document!
A mathematical process in which a number, most often one, is subtracted from another number. This process is often used in programming. See increment.