Lie superalgebra
In category theory, a Lie superalgebra can be defined as a nonassociative superalgebra whose product satisfies