• We'll implement functions for the relations we have been working on:
    • reflexive?
    • symmetric?
    • transitive?
  • These will be helper functions to implement a function that determines if a relation is:
    • an equivalence relation!

Procedures

Side note
  • It might be useful to pull up lab 2 definitions and take another look at inverse.