É um procedimento que sempre retorna um valor ao programa.

As variáveis definidas no escopo de cada função são acessíveis em todo o programa.

As variáveis locais são declaradas no escopo do programa inteiro.

A passagem de parâmetros para um subprograma pode ser somente por valor.

É um método que consiste em decompor um programa em uma série de subprogramas individuais.