Formal group/Definition

A formal power series behaving as if it were the product of a Lie group.