特に、"m" の微分同相写像群のリー代数は "m" 上のすべてのベクトル場からなり、を備えている。