What is denominator?
PTRC
1:prove that R is equivalance relation
2:find the different equivalance classes