\begin{graph} rankdir=LR node [shape=plaintext] [[1 0 0 ; 0 1 0 ; 0 0 1]] [[1 0 0 ; 0 1 0 ; 0 0 1]] -> v_2 [label= [1 0 ; 0 1] , color=forestgreen] v_2 -> v_3 [label=$S \subseteq \{1,2,3\}^4$(2)] v_3 -> [[1 0 0 ; 0 1 0 ; 0 0 1]] [label=$(f \circ g)^{-1}$(2)] \end{graph} \begin{graph} rankdir=LR node [shape=plaintext] $ [[1 0 0 ; 0 1 0 ; 0 0 1]] $(5) $ [[1 0 0 ; 0 1 0 ; 0 0 1]] $(5) -> v_2 [label=$ [[1 0 ; 0 1]] $(6), color=forestgreen] $v_2$(1) -> v_3 [label=$S \subseteq \{1,2,3\}^4$(2)] $v_3$(1) -> $ [[1 0 0 ; 0 1 0 ; 0 0 1]] $(5) [label=$(f \circ g)^{-1}$(2)] \end{graph}