  We state a sufficient condition for a fusion system to be saturated. This is
then used to investigate localities with kernels, i.e. localities which are (in
a particular way) extensions of groups by localities. As an application of
these results, we define and study certain products in fusion systems and
localities, thus giving a new method to construct saturated subsystems of
fusion systems.
