Здравствуйте!
Есть такое утверждение, что если

, где

- векторное пространство, то линейная оболочка натянутая на вектора множества

является наименьшим подпространством пространства

содрежащее

.
Ну так вот что значит наименьшее/наибольшее в этом смысле. Ну и как оно ( наибольшесть/наименьшесть ) доказывается?