que es la relacion x/r
Formalmente, una relación R sobre un conjunto X puede verse como un conjunto de pares ordenados (x, y) de miembros de X. ​ La relación R se mantiene entre x e y si (x, y) es miembro de R.