La definición dada en la sección 1.1, de relación es ambigüa y carente de sentido, pero es difícil hacerlo sin involucrar el formalismo matemático.
Se define una relación 1#1 sobre el conjunto de dominios 2#2 como la pareja 3#3 (llamado cabecera) y 4#4 (llamado cuerpo).