Re **puzzle 33**

Every equivalence relation is reflexive and transitive by definition and these two properties define a preorder. Being symmetric is a further constraint, but it does not affect neither reflexivity nor transitivity (no idea how to proof this statement formally). So yes every equivalence relation is a preorder.