sの尻尾同値類C(s)はsが分かっていて（箱をすべて開けてる）決める。そりゃC(s)のどれを代表元r(s)にしても当るわな。
尻尾同値類を考えるというインチキ。選択公理は関係ない。