es función de otra si el valor de la primera depende exclusivamente del valor de la segunda. Por ejemplo el área A de un círculo es función de su radio r: el valor del área es proporcional al cuadrado del radio, A = π·r². Del mismo modo, la duración T de un viaje en un tren circulando a una velocidad v de 150 km/h depende de la distancia d entre el origen y el destino: la duración es inversamente proporcional a la distancia, T = v / d. A la primera magnitud (el área, la duración) se la denomina variable dependiente, y la cantidad de la que depende (el radio, la distancia) es la variable independiente.
Una relación , de los conjuntos es un subconjunto del producto cartesiano

Una Relación binaria es una relación entre dos conjuntos.
El concepto de relación implica la idea de enumeración, de algunos de los elementos, de los conjuntos que forman tuplas.

Un caso particular es cuando todos los conjuntos de la relación son iguales: en este caso se representa como , pudiéndose decir que la relación pertenece a A a la n.