Inoltre se (cioè è un vettore qualsiasi della controimmagine di ), la controimmagine di è l'insieme .