A multzo baten barruan dagoen B multzo batez mintzatuz, B multzoko elementu oro A multzoko elementu berdinarekin lotzen duen funtzio edo aplikazioa.