以下を示せ.ただしC(x)xを含む同値類の意味とする。

(1) x\in C(x)

(2) x\in C(y)ならばy\in C(x)

(3) x\in C(y)ならばC(x)=C(y)x\notin C(y)ならばC(x)\cap C(y)=\text{\O}である.

最終更新:2010年11月28日 10:15