Dícese de las aplicaciones de un conjunto en otro cuya correspondencia inversa es también una aplicación.