Show that for all $A$ in $\mathcal{M}_n(\mathbb{R})$ we have $A$ dos $A$, that for all $(A,B)$ in $\mathcal{M}_n(\mathbb{R})^2$ if $A$ dos $B$ then $B$ dos $A$, and that for all $(A,B,C)$ in $\mathcal{M}_n(\mathbb{R})^3$ if $A$ dos $B$ and $B$ dos $C$ then $A$ dos $C$.