Условие на непрерывные линейно независимые на ограниченном замкнутом множестве Мевклидова пространства функции xk(t), k=1, ..., п. Сформулировано А. Хааром ([1]). X. у. гарантирует для любой непрерывной на Мфункции f(t) единственность полинома наилучшего приближения (н. п.) по системе , т.