I think you mean that R' is a proper subset of R, right?(i)R proper subset R'

Cuz, otherwise you have this problem.

---

Let X be a finite set. Then R can have at most elements where |X|=n. So you are saying that given any Relation R on X then you can find another relation R' on X that contains R which means that |R'|>|R|. But since R' is a relation on X there exists (according to your hypothesis) another set R'' that containts R' thus, |R''|>|R'|. But then you can use this argument again and again until your relation on X that has cardinality greater than , which is impossible.