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.