We did the subset proof in section 5.12, fairly quickly.
Then we looked at the definitions of relation properties,
especially vacuous truth cases, and did sample proofs of
antisymmetry and transitivity.
- The ACM student chapter is running its big
conference October 2-5. Everyone should go! Also, they are looking for
volunteers. If you're interested in helping (a good chance to meet fun
people), here is the
sign up form.