## Lab 3

### Equivalence Relations

- 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

- Let's review this text file before jumping in, there are a few details to go over together.
- Use these files

##### Side note

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