In examples/algebra, we could also define what a Lie Algebra is. (A vector space with a bracket operator op that is bilinear, alternating, and satisfies the Jacobi identity)