Lie bracket
There are three conceptually different but equivalent approaches to defining the Lie bracket: