0542132人目の素数さん垢版2018/06/30(土) 10:43:48.88ID:J4XM0V7p I上の超フィルターをFとして、写像f,g:I→2^Aに対して次の同値関係を定めます f〜g⇔f=g a.e. ⇔∀x∈F f(x)=g(x) a∈Aとf(x)=a (x∈I)を同一視して、a*を次でさだめます a*={f:I→2^A|f〜a} このとき、Aを次でさだめます A*={a*|a∈A} 確かこんな感じです、多分