Множество всех векторов из аналитической геометрии, образующих данный угол с данным ненулевым вектором , и нулевой вектор образуют подпространство при условии