Égalité de deux SST

Évidemment une fois les SST constituées le système doit pouvoir les identifier. Deux SST ( ${\mathcal S}_1, {\mathcal S}_2$) sont égales si leurs RE sont toutes égales et que leur type (respectivement c₁ et c₂) est le même (i.e. même élément de l'ensemble ${\cal T}$) :

$${\mathcal S}_1={\mathcal S}_2 \textbf{ ssi } \left\{ \begin{... ..._R{\mathcal S}_1, \text{ et}\\ c_1 = c_2 \end{array}\right.$$

Au cas où deux SST avec les mêmes RE peuvent être construites de deux manières différentes, c'est au système de demander à l'utilisateur quelle est sa préférence sur les types résultats. Mais comme en principe l'objectif derrière la construction d'une SST détermine en premier son type, dans la plupart des cas il n'existe pas de dilemme de sélection.