Definición

Se define como relación entre los conjuntos A y B a un subconjunto del producto cartesiano A x B. Este puede estar formado por un solo par ordenado, varios, todos o ninguno de los que forman parte de A x B, por lo tanto:

Como ejemplo:

El conjunto de pares ordenados que forman parte de R están formados por un elemento del primer conjunto y un elemento del segundo conjunto, en ese orden y satisfacen la condición que define esa relación:

Al cambiar el orden de los elementos del par ordenado, debe invertirse la definición de la relación para que el resultado sea verdadero, obteniéndose una relación inversa a la dada.

Para el ejemplo anterior: