Definition:Linear Span