for X, Y being set st X c= Rrank Y holds
Rrank X c= Rrank Y