tr:math:linear_alg:vector_spaces:independence