[math-fun] New topic: a near vector space please