(computer science) A section of code, called by the main body of a program, that implements a task. +