Logic and Modeling 2021: Lecture 9

Video 2: strict orders

Video 3: minimal and smallest elements

Video 4: equivalence relations