The thirteenth lecture in Dr Joel Feinstein's G11FPM Foundations of Pure Mathematics module covers Informal definition of function, along with associated notation and terminology, including domain, codomain, argument, value, and notation.
Definition of the graph of a function, with notation and examples.
Formal definition of function (Bourbaki approach).
These videos are also available on YouTube at: https://www.youtube.com/playlist?list=PLpRE0Zu_k-BzsKBqQ-HEqD6WVLIHSNuXa
Dr Feinstein's blog may be viewed at: http://explainingmaths.wordpress.com
Dr Joel Feinstein is an Associate Professor in Pure Mathematics at the University of Nottingham.