Lecture 20 - Ordered Structures