Logic and Modeling 2021: Lecture 9

Video 3: minimal and smallest elements

Video 4: equivalence relations