1 Chapter 4 - 3 Equivalence, Order, and Inductive Proof.
Computing Fundamentals 2 Lecture 4 Lattice Theory Lecturer: Patrick Browne.
Chapter 4 - 3