Congruência Semântica
Na TAD, a congruência entre representações em diferentes registros se baseia em três critérios: 1) associação possível entre unidades significantes; 2) univocidade, onde cada unidade inicial corresponde a uma única unidade final; e 3) a mesma ordem das unidades. Se esses critérios não forem atendidos, as representações são consideradas não-congruentes. Por exemplo, “o conjunto das ordenadas é superior à abscissa” e “y > x” são congruentes.