 Flat principal connection

A principal connection is flat when its curvature vanishes. The identity $\mathcal{F}(X,Y)=-\mathcal{A}([X,Y])$ shows that this is equivalent to integrability of its horizontal distribution.