Stanford CS103 Lecture 6: Functions I, from Definitions to Injection and Surjection Proofs
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.