S=Oだと、Oが複数なのでSも複数になってしまいますよ。
SSはSの集合のつもりでした。
そこでさまざまな集合論のパラドックスに見舞われますw