Download 4.6: Formalizing Relations and Functions