Hola, tengo dificultades para entender un ejercicio que hice mal en el parcial del 14

c. Si, R es una relación definida en A .Entonces Dom ( R) \[\cap \] Dom [(A x A)- R] = vacío

En el examen justifiqué que era verdadera y lo demostré usando conjuntos, pero ayer me baje el parcial con las respuestas y vi que era falso, pero no logro entender por que!!

Esto es lo que hice yo

x pertenece a AxA: x pertenece a [Dom® \[\cap \] Dom[(AxA) - R] ]=> x pert. a Dom® ^ x pert. Dom(comp.R) =>

x pert. a Dom( R) ^x no Pert a Dom( R) => F => la proposición es verdadera porque no hay nada que pertenezca a la intersección.

Aquíla respuesta que encontré en el campus hecha por una profesora:
c. Si, R es una relación definida en A .Entonces Dom ® \[\cap \] Dom [(A x A)- R] = vacío F (justificar)
Recordar Dom [(A x A)- R] = Dom (complemento de R)