theorem Th24: :: MATROID0:24

for M being finite-degree Matroid
for A, B being Subset of M st A c= B holds
Rnk A <= Rnk B