\centerline{
    \begin{tabular}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c}
        \scalebox{0.8}{\input{figures/relations/poset1.tex}} &
        \scalebox{0.8}{\input{figures/relations/poset2.tex}} &
        \scalebox{0.8}{\input{figures/relations/R1.tex}} & 
        \scalebox{0.8}{\input{figures/relations/ST.tex}} &
        \scalebox{0.8}{\input{figures/relations/poset3.tex}}
        \\
        $\rel[R] \in \IPos_4$ &
        $\rel[S] \in \IPos_4$ &
        $( \Inc{\rel} \cup \Inc{\rel[S]} )$ &
        $\tc{(\Inc{\rel} \cup \Inc{\rel[S]})}$ &
        $\rel[R] \meetP \rel[S] \in \IPos_4$
        \\
        &
        &
        $\cup ( \Dec{\rel} \cap \Dec{\rel[S]} )$ &
        $\cup (\Dec{\rel} \cap \Dec{\rel[S]})$ &
    \end{tabular}
}