Euclidean vector
A Euclidean vector space (that is, a Euclidean space such that formula_24) has two sorts of subspaces: its Euclidean subspaces and its linear subspaces. Linear subspaces are Euclidean subspaces and a Euclidean subspace is a linear subspace if and only if it contains the zero vector.