>>545
「Oとも異なる」というのは原点Oだけを含む集合は除外するという意味で、
その集合に Oが入っていてもよい。