1: \begin{definition}

2: The system $A(x,U,\partial) U = B(x, U)$ is called a 

3: Leray system

4: if it is possible to attach to each unknown $u^I$ an integer $m_I \geq 0$,

5: and to each equation $J$ of the system an integer $n_J \geq 0$,

6: such that:

7: 

8: (i) $k_J = m_J - n_J$, $J=1,\dots, N$;

9: 

10: (ii) the functions $b^J$ and the coefficients of the differential operators

11: $a^J$ are\footnote{The regularity required for the coefficients

12: $a^J$ and $b^J$ depends on particular applications and context. For instance,

13: for Theorem \ref{Leray_Ohya_theorem_existence} the required regularity

14: is specified. Similarly, in Definition \ref{definition_Cauchy_Leray}, one needs

15: to take derivatives of these quantities up to order $n_J$, thus they need to be

16: at least as many times differentiable.} functions of $x$, of $u^I$, and of the 

17: derivatives of $u^I$ of order at most $m_I - n_J - 1$, 

18: $I, J =1\dots, N$. If for some $I$ and some $J$, $m_I - n_J< 0$, then

19: the corresponding $a^J$ and $b^J$ do not depend on $u^I$.

20: \label{definition_Leray_system}

21: \end{definition}

22: