A eta B multzoen arteko aplikazio batez mintzatuz, A-ko bi elementu desberdinek B-n irudi desberdina dutena eta B-ko elementu bakoitzari A-n elementu bakarra dagokiona. Hau da, aldi berean injektiboa eta supraiektiboa den aplikazioa.