Se dice de las aplicaciones de un conjunto en otro cuya correspondencia inversa es también una aplicación (biyectivo).