We develop 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. The main topics are Weyl groups, parabolic subsets and positive systems, weights, and gradings.