上的Lie广群是一个广群 对于其中和是可微流形和乘法是可微映射。此外，的导数和要求具有最大矩阵等级无处不在。在这里，和地图来自到上面.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“Lie Groupoid”摘自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/LieGroupoid.html
