We give equational axioms for the least fixed point operation and point out applications to automata, languages, and concurrency.