17/10/08 22:45:30.19 yVk2HCe6.net
>>300 つづき
２）
>> が、同値類全体を考えると、共通の特徴が消えて空φになる？？ いやいや、共通の特徴は”緑色”じゃないのか？
下記の”property P”に該当するのが、共通の特徴＝”緑色”だと言っているのだが・・、分らんか？（＾＾
時枝記事で言えば、記事の一つの同値類の元たちは、代表数列rと”しっぽが同じ”という特徴（property P）を、共有している（>>204記載の通り）というのだが、それ分らんかね？（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
同値類
(抜粋)
不変量
～ が 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 ～.
(引用終り)
つづく