Oの代わりに
適当な順序数α(これは集合)で考えることはできるから
そこで話をした上で
αに依らない話にできるかも知れないが
おそらく無理