Executar tarefas sem a possibilidade de retornar um valor ao programa chamador.

Ser um bloco de comandos sem nome próprio definido.

Ter a capacidade de calcular e retornar um valor explicitamente ao chamador.

Substituir a necessidade de estruturas de repetição em algoritmos complexos.