>>464
まったく数学を知らない素人にも誤解のしようがない形で書くなら以下のようになります

「同値類の代表は選択公理（でその存在が認められた選択関数）で選びます」