Por tanto, una relación es un conjunto de pares ordenados, de modo que toda función formula_6 es una relación, si bien lo recíproco no es necesariamente cierto, pues puede una relación no cumplir (f-1) o (f-2) (o ambas) de 1.7.1 .