Una relación 1#1 es una colección de dos partes,
15#15 con un encabezado (Header) 16#16 y un cuerpo
17#17. El encabezado consiste de un conjunto de parejas ordenadas
3.2
El cuerpo consiste de un conjunto de n-adas, donde cada n-ada se ve como un conjunto de parejas ( 24#24)3.3
26#26 donde 27#27 es el número de n-adas del conjunto, 28#28 y 29#29; i.e. cada valor que toma un atributo 19#19 está contenido en el correspondiente dominio 20#20.
A los valores 27#27 y 30#30 se les conoce como la cardinalidad y el grado de la relación respectivamente, la cardinalidad es de esperarse que varíe con el paso del tiempo, mientras que el grado no; en este sentido hay que remarcar que en contexto de una base de datos que contiene un conjunto de relaciones estos conceptos de cardinalidad y grado se aplican a cada estado de la relación con respecto a un cierto tiempo 31#31. En estos términos, una relación de grado uno se le conoce como unaria, a una de grado dos se le conoce como binaria, etcétera.
Es de resaltar el hecho de que estas definiciones se hacen en base a los conceptos matemáticos de la teoría de conjuntos y que las operaciones mismas de los conjuntos forman parte del álgebra relacional como se verá a continuación.