קוד:הגדרת קבוצה אורתונורמלית

\begin{definition}

אומרים שקבוצה $S\subseteq V$ היא \textbf{אורתונורמלית} אם היא אורתוגונלית, ואם כל הווקטורים של $S$ נורמליים.

\end{definition}