Summary of a statment sequence for reuse program-internally. Defined between DEFINE and END-OF-DEFINITION.