>OOは非OOを包含している部分があると思うのだが。

へぇ。
で、どこ？