HS.A.1.a: Demonstrate that functions are a well mapped subdomain of relations.