C(a) ={x|x∈A,aRx}とすると
(1)a∈C(a)
(2)aRb⇔C(a)=C(b)
(3)C(a)≠C(b)⇒C(a)∩C(b)=空集合
ですか？