Let us set precise definitions. In standard literature—often found in PDFs of conference proceedings and PhD theses—a Lie algebra ( L ) over a field ( F ) is termed a if it satisfies one of the following equivalent conditions (depending on the author):
