Relacja korespondencyjna jest regułą, która wiąże elementy zbioru A (zbiór wejściowy) z elementami zbioru B (zbiór wyjściowy). Zgodność między elementami dwóch zbiorów (A i B) może wystąpić na kilka sposobów, takich jak:
Funkcja jest szczególnym przypadkiem parowania ze zbioru A do zbioru B, gdzie każdy element zbioru A jest sparowany tylko z jednym elementem zbioru B. • Zbiór A nazywany jest Polem Definicji • Zbiór elementów B, które są sparowane z elementami A, nazywany jest przedziałem cenowym funkcji.