Una "aplicación" del conjunto "A" en el conjunto "B" es una ley, criterio o juego "f" que a cada elemento "x" de "A" le asocia un único elemento de "B" que llamamos "imagen" de "x" según "f" y denotamos "f(x)".
Hay "aplicaciones" tan famosas que tienen nombre propio: homomorfismo (ya sea, monomorfismo, epimorfismo, isomorfismo, endomorfismo, automorfismo), forma bilineal, forma cuadrática..... con ellas trabajaremos en este tema y en los siguientes.