A relation consists of a domain, a codomain, and a subset of ordered pairs. This lecture examines relations on a single set, equivalence relations, and partial orders. Then, we introduce counting.

Source: Zachary Abel, Mathematics for Computer Science (MIT: OpenCourseWare). Licensed under CC BY-NC-SA 4.0.