1: \begin{definition}[Weingarten cube / Weingarten propagation of crosses]

2: An A-cube with two crosses adapted to opposite faces as in

3: Fig.~\ref{fig:weingarten_cube} is called a \emph{Weingarten cube} if the

4: Weingarten property \eqref{eq:weingarten_property_cross_vertices} is satisfied

5: by any pair $p_{ij},\tilde p_{ij}$ of corresponding cross vertices.  According

6: to Theorem~\ref{thm:strong_c1_cube_consistency}, an A-cube with a cross

7: attached to one face can be extended uniquely to a Weingarten cube by, for

8: instance, using the projections described in

9: Remark~\ref{rem:c1_identity_projection}. We refer to this extension as

10: \emph{Weingarten propagation} of the initial cross.

11: \label{def:weingarten_cube}

12: \end{definition}

13: