Let's see if I'm thinking along the same lines as John...

Puzzle 8: \$$x \leq y \rightarrow x \cong y\$$. That is, the only way for elements to be related is to be in the same equivalence class.

Puzzle 9: Partitions.