Fonctions secondaires :

égalité

$$t_1=t_2 \Longleftrightarrow (tc_1=tc_2 \wedge p_1=p_2 \wedge a_1=a_2)$$

identité par rapport au texte du corpus

entre deux textes appartenant à $\mathit{Tp}$ qui font référence au même texte de corpus :

$${\text{\sc id}_{ref}}_T(t_1, t_2)\Longleftrightarrow \text{\sc ref}_T(t_1)=\text{\sc ref}_T(t_2)$$

identité par rapport à l'anagnose positionnée

i.e. présence dans la même anagnose (positionnée) :

$${\text{\sc id}_{ref}}_A(t_1, t_2)\Longleftrightarrow \text{\sc ref}_A(t_1)=\text{\sc ref}_A(t_2)$$