Develops the basic theory of root systems $R$ in a real vector space $X$ which are defined in analogy to the usual finite root systems, except that finiteness is replaced by local finiteness: the intersection of $R$ with every finite-dimensional subspace of $X$ is finite.