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}

確かこんな感じです、多分