Abstract vector spaces