Definition à la Ginzburg–Kapranov
Let denote the free Lie algebra (over some field) with the generators and the subspace spanned by all the bracket monomials containing each exactly once. The symmetric group acts on by permutations and, under that action, is invariant. Hence, is an operad.
- Ginzburg & Kapranov 1994, § 1.3.9.