Esta definición generaliza la de grupo de Lie: los grupos de Lie son los grupoides de Lie donde el espacio base es trivial.