dominio de una relación Conjunto de todas las primeras coordenadas de los pares ordenados.

El Término relacionado: rango de una relación