Лінійний простір геометричних векторів площини, паралельних осі OY. Лінійність та однорідність

Доведено, що множина векторів R^2 з нульовою першою координатою - вектори, що паралельні вісі ОY, - є лінійним простором над полем дійсних чисел. Для цього, безпосередньо перевірено 8 аксіом лінійності та однорідності. Показано замкненість множини відносно стандартних операцій додавання елементів та їх множення на дійсне число.