 Horizontal distribution of a principal connection

The horizontal distribution of a principal connection is the smooth complement $H$ to the tangent spaces of the group orbits. A tangent vector is horizontal exactly when the connection form $\mathcal{A}$ annihilates it.