\[ S_1 = \{A = [a_{ij}] \in M : A = A^T \text{ and } a_{ij} \in S, \forall i, j\}, \]
\[ S_2 = \{A = [a_{ij}] \in M : A = -A^T \text{ and } a_{ij} \in S, \forall i, j\}, \]
\[ S_3 = \{A = [a_{ij}] \in M : a_{11} + a_{22} + a_{33} = 0 \text{ and } a_{ij} \in S, \forall i, j\}. \]