An algebraic characterization of the set of succession rules