Corollaire

Soient $M, N$ deux réseaux de $V$ par rapport à $A$, tels que $N$ soit réflexif. Pour que $M \subset N$, il faut et il suffit que, pour tout $p \in P$, on ait $M_p \subset N_p$.

La condition est évidemment nécessaire, et si elle est remplie, on a $\bigcap_{p \in P} M_p \subset \bigcap_{p \in P} N_p = N$. Comme $M \subset M^{**} = \bigcap_{p \in P} M_p$, on a bien $M \subset N$.