Original: The concept introduced above is called a real vector space .
Simplified: A vector space is a concept from mathematics .