for X, Y being set holds
( X in Rrank Y or Rrank Y c= Rrank X )