Proposition (Criterion for being a subspace)

A subset $U\subset V$ is a Subspace of $V$ if 1. $0\in U$ 2. $U$ is closed under addition and scalar multiplication.