>>126
同値類をどうやって選ぶんだ?