代表元を定める関数なんて簡単じゃん
同値類から任意の1元を選択すれば済むんだから