A connection is called strong provided that \(D(A)\subseteq \Gamma ^1(B)\,A\) .
Strong connections are in one-to-one correspondence with maps \(\ell \colon H\rightarrow A\otimes A\) 
satisfying the conditions (REF ) in Definition REF ,
see, e.g., [1]} or [2]}. A covariant derivative \(D\) 
of a strong connection is a connection on the left \(B\) -module \(A\) , in the sense of
[3]}. Every strong connection defines a connection, for the universal calculus, on the associated left \(B\) -module \(E_A(V) = A\Box _H V\)  via
\(\nabla \colon \ E_A(V) \longrightarrow \Gamma ^1(B)\otimes _B E_A(V) ,\qquad a\otimes v \longmapsto D(a)\otimes v.\) 
