Korrespondentzia batean, A-ren x elementuari B-ren elementua badagokio, x y-ren aurreirudia dela esaten da.