[1a-2] Revision: Relations and Functions on Sets

We briefly cover the definitions of a relation and a function as they apply to sets. We also mention three important properties relations can have: reflexivity, symmetry, and transitivity.