שינויים

יהי $V$ מרחב וקטורי, ותהי $S\subseteq V$ תת-קבוצה. נגדיר $$S^0=\left \{ \varphi\in V^*\mid \forall v\in S:\varphi\left(v \right )=0 \right \}$. $כלומר, זה אוסף כל הפונקציונלים הלינאריים המתאפסים על כל $S$. אזי $S^0$ נקרא \textbf{המאפס של $S$}.