Formalmente, una relación R es un conjunto de n-tuplas.