>>464
ちゃんと書いた方が良かったか
x∈X(⊂X'')
f∈X'
一行目はx∈Xとみなし、二行目ではx∈X''とみなしている。
＞XからX''への自然な埋め込みIが存在しますが
これを使ってる。