Математическая энциклопедия
- коммутатор векторных полей на дифференцируемом многообразии. Если интерпретировать векторные поля класса 
на дифференцируемом (класса 
) многообразии Мкак дифференцирования алгебры F(М).функций класса 
на М, то Ли с. полей Xи Yзадается формулой
где 
Совокупность всех векторных полей класса 
на Мявляется алгеброй Ли относительно Ли с. А. л. Онищик.