>>935
一字一句そのままなら、齋藤の書き方がおかしい。

任意の元 a (∈A) について、 a とR 同値な A の元を全部あつめると A の部分集合 [a] ができる.
つまり [a] = { x ; x∈A, x〜a }
またAのR同値類は A/R = { [x] ; x ∈ A } と表せる.