Interseção e soma de invariantes são invariantes
Se \(S_1,S_2\) são invariantes, \(S_1\cap S_2\) e \(S_1+S_2\) também são.
ex-inv-c · ver o LaTeX · sugerir uma correção
LaTeX deste card
O texto-fonte do card, para propor uma correção ou escrever um card no mesmo formato.
\cardid{ex-inv-c}
\cardtipo{exemplo}
\cardtitulo{Interseção e soma de invariantes são invariantes}
\cardtags{exemplos}
\cardautor{}
\cardrequer{def-inv, def-soma}
\cardrequerdem{}
\cardveja{}
\begin{cartao}
Se $S_1,S_2$ são invariantes, $S_1\cap S_2$ e $S_1+S_2$ também são.
\end{cartao}