SP20:Lecture 10 prep

Here are last semester's notes for lecture 10.

We will be covering the following definitions:

Definition: Relation
A relation on sets is a subset of .

Definition: Binary relation
A binary relation on a set is a subset of (i.e. a set of pairs of elements of ).

Definition: Reflexive

Definition: Symmetric
A binary relation on a set is symmetric if for all pairs of elements and with , we also have .

Definition: Transitive
A binary relation on a set is transitive if for all elements , , and with and , we also have .