>>383 つづき

＜補足＞
１．本来同値類と商集合とは、簡単には、同じ性質を持つものを集めて、一つに纏めて扱おうというもの。
　（参考　https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E 同値類 ）
２．同値類の集合そのものを扱うよりも、代表を取り出して、それで商集合として扱うと話が簡単になる場合が多い。

３．ところで、ある集合の元が、ある一つの同値類属することが分っても、その同値類が共通に持つ性質は本来その元の持つ性質だから、それだけでは得られる情報は無いに等しい
４．また、その元と代表とは、同値類が共通に持つ性質が同じという以外には、本来共通する性質はないのが一般だ

５．だから、ある元が、しっぽの先の同値類で、しっぽの先の箱を開けて、ある同値類に属することが分ったら、その元と代表とで期待できるのは、co-tailの共有まで。
６．そう考えると、「開けちゃった」又は「開けちゃいました」の定理の成立は、当たり前と言えば当たり前にすぎない。
　（しっぽの先の箱を開けて、ある同値類に属することが分ったということは、”co-tail”を含む情報が分ったということ。この後、代表を見ても、付け加わる情報は、一般的にはゼロってことで、納得できるだろう（＾＾ ）

以上

つづく