Definition:Statement Label

Definition
A statement label (called by some sources an abbreviatory letter) is a symbol which is assigned to a particular statement, so that it can be identified without the need to write it out in full.

Different statements must always be given different labels.

Also see

 * Compare, but do not confuse, with statement variables.