19/10/06 20:18:43.44 d8OQiN+r.net
>>175
商集合は、分出公理を使うのか
URLﾘﾝｸ(unaguna.jp)
U-naguna
シリーズ: 集合論の言葉を使おう (準備編) > 同値関係と同値類
(抜粋)
同値類
例として「偶奇という点で同じ」ことを表す同値関係を定義しよう。その場合たとえば
M={?x,y?∈ω×ω?∃z∃w[x+2z=y+2w]}
と定義すればよい (
この定義の下では xMy であることと、x+2z=y+2w を満たす自然数 z, w が存在すること (x と y が2の倍数加算の違い�