Functions I, from Definitions to Injection and Surjection Proofs | Stanford CS103 Lecture 6
A function is more than a formula: domain, codomain, totality, and determinism are essential, while the quantifiers defining involutions, injections, and surjections dictate their proofs.