an algebra explainer for the difference between a function and a relation