Sec. 7, 8.1-8.2, Due February 17

The only confusing thing about the section was the books insistence on using R rather than the actual mathematical symbol that it represented.  It gave all of the relations the same symbol, and when multiple examples were given in the same paragraph it became ridiculous.  Hopefully we get past the usage of R quickly and to being able to just use the symbols.  I'm curious if the properties of the relations (symmetry, transitive, reflexive) will actually be helpful in future proofs.