You defined a relation ~ by where is a surjection and .

1) Reflexivity:

2)Symmetry:

3) Transitivity:

Also, f is not neccessarily injective - so is not always true.

The second part is straightforward - take a look at the definition of a fiber and you should see why every equivalence class of ~ is a fiber.