[math-fun] Re 'A near vector space'