Bana-banakoa eta supraiektiboa den bi multzoren arteko aplikazioa; hau da, f A eta B multzoen arteko transformazioa bada, A multzoko elementu bakoitzari B multzoko elementu bat dagokio, eta B multzoko edozein b elementuri b = f(a) funtzioa beteko duen A multzoko a elementu bakarra dagokio.