Abstract vector spaces | Essence of linear algebra, chapter 15