Correspondência

Duas coisas correspondem quando convêm, quando se pertencem ou pertencem a algo. A idéia de correspondência implica a idéia de uma correlação.

Assim, na lógica, dado um certo termo, quando diversos outros são exigidos por uma adequação com o primeiro diz-se que há correspondência ou que correspondem. Daí dizer-se que é unívoca quando a cada antecedente corresponde um só conseqüente, recíproca se cada conseqüente tomado como antecedente tem por conseqüente, por sua vez, um termo que era seu antecedente, etc. Vide Relação.