función
Unidad de un programa definida por una especificación.