>>274
>R^Ｏという列
クラスから集合へのクラス写像の全体？
クラスから集合へのクラス写像は考えても良いが
それはクラスになるから
その全体はクラスですらないので考えることはできない
ただ
>s∈Ｓの分だけ上記の列r(s)∈R^Ｏを用意する
はS×OというクラスからRへのクラス写像として考えることはできる
つまり
r(s):→R:クラス写像
の同値類を考えることはできず
当然ながら代表元も存在しない