Arco. Línea de un grafo que une dos nodos o vértices. Arista.
Alfabeto. Conjunto finito de elementos llamados símbolos.
Argumento. Un valor de entrada para una función.
Arista. Línea de un grafo que une dos nodos o vértices.
Cadena. Una secuencia finita de símbolos de un alfabeto.
Cadena vacía. La cadena de longitud cero.
Camino. Una secuencia de nodos de un grafo conectada por arcos.
Camino simple. Un camino sin repeticiones.
Ciclo. Un camino que que comienza y termina en el mismo nodo.
Complemento. Una operación sobre un conjunto, formando el conjunto de todos los elementos que no están presentes en éste.
Concatenación. Operación entre 2 cadenas. No necesariamente del mismo alfabeto.
Conjunción. Operación lógica AND
Conjunto. Un grupo de objetos.
Conjunto vacío. El conjunto que no tiene elementos.
Disyunción. Operación lógica OR
Dominio. El conjunto de entradas posibles de una función.
Elemento. Un objeto que pertenece a un conjunto.
Función. Una operación que traduce entradas en salidas.
Grafo. Un conjunto de puntos y líneas que conectan a algunos de estos puntos.
Grafo conexo. Un grafo donde siempre existe un camino entre todo par de puntos.
Grafo dirigido. Un conjunto de puntos y flechas que conectan a algunos de estos puntos.
Imagen. El conjunto del cuál son tomadas las posibles salidas de una función.
Intersección. Una operación entre conjuntos que a partir de los elementos que estos tienen en común forma un nuevo conjunto.
k-upla. Una lista de k elementos.
Lenguaje. Un conjunto de cadenas.
Miembro. Un objeto que pertenece a un conjunto.
Nodo. Un punto en un grafo.
Operación booleana. Una operación sobre valores booleanos.
Par. Una lista de dos elementos, también llamada 2-upla.
Palabra. Cadena que pertenece a un lenguaje.
Predicado. Una función imagen es el conjunto { TRUE, FALSE }
Producto cartesiano. Una operación entre conjuntos que forma el conjunto de todas las t-uplas de elementos compuestas por elementos de los respectivos conjuntos.
Propiedad. Un predicado.
Relación. Un predicado, comúnmente cuando el dominio es un conjunto de k-uplas.
Relación binaria. Una relación cuyo dominio es un conjunto de pares.
Relación de equivalencia. Una relación binaria que es reflexiva, simétrica y transitiva.
Secuencia. Una lista de objetos.
Símbolo. Un elemento de un alfabeto.
Unión. Una operación de dos conjuntos que combina los elementos de ambos en un solo.
Valor booleano. Los valores TRUE o FALSE, comúnmente representados por 1 y 0.