Biyección

Una aplicación entre dos conjuntos que es a la vez inyectiva y suprayectiva, de modo que cada elemento del dominio corresponde exactamente a un elemento del codominio y todo elemento del codominio está emparejado con algún elemento del dominio.