Lie algebra
如此引導出一具李括號的向量場至李代數。