\centerline{
    \begin{tabular}{c@{\qquad}c@{\qquad}c@{\qquad}c}
        \scalebox{0.8}{\input{relations/ST1.tex}} &
        \scalebox{0.8}{\input{relations/ST2.tex}} &
        \scalebox{0.8}{\input{relations/ST3.tex}} & 
        \scalebox{0.8}{\input{relations/ST4.tex}}
        \\[-.2cm]
        $\rel \in \ISemiTrans(4)$ &
        $\rel[S] \in \ISemiTrans(4)$ &
        $\rel \meetR \rel[S] \notin \ISemiTrans(4)$ &
        $\rel \meetST \rel[S] \in \ISemiTrans(4)$
    \end{tabular}
}