Relação binária: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
m "Implicar", neste caso, é transitivo direto.
Linha 95:
Existe uma outra maneira de determinar ''R ⋅ S''. Sejam M<sub>r</sub> e M<sub>s</sub>, respectivamente, as [[matriz]]es da relação ''R'' e ''S''. Então,
 
:<math> M_r = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 01 \\ 1 & 1 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{pmatrix}\quad</math> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<math> M_s = \begin{pmatrix} 0 & 0 & 0 \\ 1 & 0 & 1 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}</math>
 
Multiplicando-se M<sub>r</sub> e M<sub>s</sub>, obtemos a matriz