m108 lecture 2 - Posets.pdf