Logic and Modeling 2021: Lecture 9

Video 1: partial orders

Video 2: strict orders

Video 3: minimal and smallest elements