A linear subspace is a linear space that is a subset of some larger linear space. A linear space is considered a linear subspace of if it satisfies the following
- Non-emptiness: The zero vector is in .
- Closure under addition: If and are in , then is also in .
- Closure under scalar multiplication: If is in and is in , then is also in .