Процедура в языке программирования, при выполнении которой вырабатывается значение, связываемое с именем процедуры [из 43 табл. 1 ГОСТ 28397—89]