This is: by definition. This is because we want to be able to add spanning sets. and have a spanning set be