>>53
それが同値関係の条件を満たしている事は自明ですか?
fの定義は自明ですか? fに逆写像が存在しないと同値関係とは言えませんよね