17/11/04 22:56:30.28 ASJ8jdbh.net
>>416
> という同値の定義だから、「ここから先のしっぽ」とは言えない定義だからね
何を言っているのか分からないです。
スレ主が>>376で存在を証明した co-tail なるものの定義をきちんと述べてください。
> 動物に例えれば、馬のしっぽだとか、ウサギのしっぽだとかで、同値類を考えるということだが
動物の例えは不要です。
> この同値の定義からは、しっぽの先の毛のまた先の残渣のような部分でも一致していれば、”同値”ってことだから
何を言っているのか分からないです。
> 代表元と同じ同値類に属する任意の元との関係で、残渣は決して空集合にならないということを証明した。それが、”co-tail”だと
残渣＝co-tailなんですか？じゃあ残渣なるものをきちんと定義してください。
> つまり、”co-tail”の存在と時枝記事の同値の定義とは、表裏の関係だと思っているよ
何を言っているのか分からないです。