[math-fun] What is a "k-vector"?