A root system is a kind of set of vectors.