So if, say, $X=\{1,2\}$, then the free Lie algebra $L(X)$, with $x\mapsto e_x$, consists of all linear combinations of the elements $e_1,e_2$, $[e_1,e_2]$, $[e_1,[e_1,e_2]]$, $[e_2,[e_1,e_2]]$, $[e_1,[e_1,[e_1,e_2]]$, $[e_1,[e_2,[e_1,e_2]]$, $[e_2,[e_1,[e_1,e_2]]$, $[e_2,[e_2,[e_1,e_2]]$, and so forth, such that skew-symmetry and the Jacobi identity holds.

More formally, a free Lie algebra $L(x,y)$ on two letters $x,y$ has its elements in the ring of power series $K\langle x,y\rangle$ in the non-commuting variables $x,y$, where $K$ is a field.


As I don't have enough rep to comment under @Dietrich Burde answer, and since an edit to his answer I performed was rejected, here is an interesting comment (in my opinion) on the free Lie algebra $L(X)$ (where $X = \lbrace 1,2\rbrace $) that Dietrich Burde starts to describe in his answer.

As it happens, all the vectors in $ B = \lbrace e_1, e_2, [e_1,e_2], [e_1,[e_1,e_2], [e_2,[e_1,e_2]]\rbrace $ are linearly independent in $L(X)$, i.e. the skew-symmetry and the Jacobi identity do not produce any unexpected relation.

On the other hand, by skew-symmetry and the Jacobi identity, we actually have $[e_1,[e_2,[e_1,e_2]]] = [e_2,[e_1,[e_1,e_2]]]$. If one wishes to go further and add "words of length 4" in our linearly independent set $B$, one can use the so called Lyndon basis to get that the vectors $e_1, e_2, [e_1,e_2], [e_1,[e_1,e_2], [[e_1,e_2],e_2], [e_1,[e_1,[e_1,e_2]]], [[e_1,[e_1,e_2]],e_2]$ and $[[[e_1,e_2],e_2],e_2]$ are linearly independent in $L(X)$.

Going to the next word length would not be too tedious either, since by the Necklace polynomial formula, the number of linearly independent "words of length 5" in $L(X)$ is $\frac{1}{5}(2^5-2) = 6$. Those $6$ linearly independent "words of length 5" in $L(X)$ can be constructed using the 6 Lyndon words of length 5 on two symbols (and the recipe for this construction is given in the Wikipedia article on free Lie algebras).