A subset the real space \(H \in \mathbb{R}^n\) that
\[\begin{equation*} \vec{0} \in H, \end{equation*} \]
\[\begin{equation*} \forall \vec{u} \in H, \; \forall \vec{v} \in H \iff (\vec{u} + \vec{v}) \in H, \enspace \qand* \end{equation*} \]
\[\begin{equation*} \forall c \in \mathbb{R}^1, \; \forall \vec{v} \in H \iff c \vec{v} \in H. \end{equation*} \]