Function definition

A syntactic construct that declares a function by specifying its name (optionally), Formal parameters, and body - establishing a binding between the name and the corresponding abstraction.