05/08/19 21:43:43
>>280
だからそのページの"順序対"が何を意味してるのか分からないといってるのに、、
まあ好意的に解釈すれば、通常の書き方では同値類を入れて
同値関係を考えるところを、同値関係自体に等号を使ってしまっているだけだろうけど
>>276の上半分はどうなるんですか？
>>190-191の中で成り立たない性質はあるんですか？
あるとしたらどれですか？
05/08/19 21:43:43
>>280
だからそのページの"順序対"が何を意味してるのか分からないといってるのに、、
まあ好意的に解釈すれば、通常の書き方では同値類を入れて
同値関係を考えるところを、同値関係自体に等号を使ってしまっているだけだろうけど
>>276の上半分はどうなるんですか？
>>190-191の中で成り立たない性質はあるんですか？
あるとしたらどれですか？