That is, the Lie bracket defines the equivalence relation used to perform the quotienting. The result is still a unital associative algebra, and one can still take the Lie bracket of any two members. Computing the result is straight-forward, if one keeps in mind that each element of formula_68 can be understood as a coset: one just takes the bracket as usual, and searches for the coset that contains the result. It is the "smallest" such algebra; one cannot find anything smaller that still obeys the axioms of an associative algebra.