Def/Extension of a function 1