4-6 Formalizing Relations and Functions NOTES.pdf