theorem :: CLASSES3:8

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