La imagen inversa de una aplicación es la aplicación que a cada subconjunto del conjunto final de la aplicación le hace corresponder el conjunto de elementos del conjunto inicial cuya imagen se encuentra en este conjunto. Es una aplicación que a un conjunto le hace corresponder otro conjunto.