What Is Abstract Vector Spaces