Introduces Lie semiheaps and their relation to Lie groups and bundles.
problem Defining and understanding Lie semiheaps and their properties.
method Introducing Lie semiheaps and proving their properties in relation to Lie groups and bundles.
result Established the existence of left-invariant vector fields on Lie semiheaps.