V^2の部分クラスRが
∀x:(x,x)∈R
∀x,y:((x,y)∈R→(y,x)∈R)
∀x,y,z:((x,y),(y,z)∈R→(x,z)∈R)
を充たしている時クラス同値関係と呼ぶことにして
V^2/Rに当たるモノを作りたい
特定はできないけれど
∃S:(∀x,∃y∈S:(x,y)∈R)∧(∀x,y∈S:((x,y)∈R→x=y)
を充たすSの存在を証明できたらこれがV^2/Rの役割を果たすよね
クラス存在定理から何とか証明できないものかな？