>>300 つづき

２）
>> が、同値類全体を考えると、共通の特徴が消えて空φになる？？ いやいや、共通の特徴は”緑色”じゃないのか？

下記の”property P”に該当するのが、共通の特徴＝”緑色”だと言っているのだが・・、分らんか？（＾＾
時枝記事で言えば、記事の一つの同値類の元たちは、代表数列rと”しっぽが同じ”という特徴（property P）を、共有している（>>204記載の通り）というのだが、それ分らんかね？（＾＾

https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E
同値類
(抜粋)
不変量
〜 が X 上の同値関係で P(x) が，x 〜 y であるときにはいつでも，P(y) が真ならば P(x) が真であるような，X の元の性質であるとき，性質 P は 〜 の不変量，あるいは関係 〜 のもとで well-defined であるといわれる．

（同英文版）
Invariants
If 〜 is an equivalence relation on X, and P(x) is a property of elements of X such that whenever x 〜 y, P(x) is true if P(y) is true, then the property P is said to be an invariant of 〜, or well-defined under the relation 〜.
(引用終り)

つづく