Math — Vector Spaces

\text{closed under } + \text{ and scalar } \times

\text{basis: independent spanning set}

\dim(V) = |\text{basis}|

\dim(V) = \operatorname{rank} + \operatorname{nullity}