for M being finite-degree Matroid
for C being finite Subset of M holds Rnk C <= card C