Functions, formally

How can functions be defined in a formal way and what does it mean?