for M being finite-degree Matroid
for A being Subset of M holds A c= Span A