Free iterative and iteration K-semialgebras

We consider algebras of rational power series over an alphabet $\mathrm{\Sigma }$ with coefficients in a commutative semiring $K$ and characterize them as the free algebras in various classes of algebraic structures.