Bi multzoren arteko korrespondentziaz mintzatuz, lehenengo multzoko elementu bati bigarren multzoko elementu bakar bat dagokiola adierazten duena.