1: \begin{definition}

2: We call $(\tilde D_\xi^1,\dots,\tilde D_\xi^d)$ a family of kinetic invariant domains for $\Psi$ if

3: \begin{gather}

4: \text{ for all }i,\quad f^{0,i}(x,\xi)\in\tilde D^i_\xi, \quad \text{ a.e. } x,\xi,

5: \end{gather}

6: implies

7: \begin{equation}

8: \text{ for all } t,i,\quad f^i(t,x,\xi)\in \tilde D^i_\xi, \quad \text{ a.e. } x,\xi,

9: \end{equation}

10: where $(f^1,...,f^d)$ is the solution obtained in Theorem \ref{thm:ExistenceKineticModel}.

11: \end{definition}

12: