Reminder: Functions And Relations

• Finite binary relation as map: set of 2-tuples

  • domain: set of first elements
  • range: set of second elements

• Function: binary relation with unique image for each domain element