特定の小部分を処理するための、ひとまとまりのプログラム。
プログラミング言語によって、プロシージャ、関数など様々に呼ばれる。
Pascalの場合は、戻り値が無いものがプロシージャ(procedure)、あるものが関数(function)である。