This is: span(∅)={0} by definition. This is because we want to be able to add spanning sets. ∑A∪B=∑A+∑B and have a spanning set be 0