(I,O)→(I,O)ですよね。
見落としで、(I,W’)が位相にでもなっているのかとヒヤヒヤしましたよ(汗)