What we have here is an _algebra_ of vectors.