"m" 上のリー微分全体の成すベクトル空間は次で定義されるリー括弧積