Funciones: Una función es una correspondencia entre dos conjuntos, llamados dominio y codominio, de forma tal que a cada elemento del primer conjunto le corresponde uno y sólo un elemento del segundo conjunto. Todos los elementos del Dominio tienen un correspondiente en el codominio. No todos los elementos del codominio tienen un correspondiente en el dominio. La imagen está formada por los valores que puede llegar a tomar la función. Es el conjunto de todos los objetos transformados.
Una función es inyectiva o uno es a uno si cada valor en la imagen de corresponde un único origen en el dominio. Una función es sobreyectiva, si está aplicada sobre todo el codominio. Una función es biyectiva si es inyectiva y sobreyectiva a la vez.