Любой фрагмент кода, который может быть вызван (казнён) в рамках программы. Такую процедуру обычно имеет имя (идентификатор) связанного с ним и выполняется путем ссылки на это имя.