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.