4-6 Formalizing relations and functions