No post anterior falamos de pares ordenados, produto cartesiano. Com ela, estabelecemos a teoria matemática das relações, com uso de teoria de conjuntos. Motivação Inicialmente, consideramos o conjunto $A \times B,$ em que $A = \\{\text{mulheres} \\}$ $B = \\{\text{homens} \\}$. Neste caso, podemos montar a sentença: Lucas é marido de Rosana. Relação das por “ser esposo de” Par ordenado $(a,b)$ $a = $ Lucas, $b = $ Rosana. Note que o par $(b, a)$ não pertence a relação, pois Rosana não é marido de Lucas. Se a relação fosse “ser casado com”, então ambos os pares estariam na relação. Formalização Definição (Relação) Uma relação entre dois conjuntos $A$ e $B,$ denotada por $\mathcal{R}(A, B),$ é um subconjunto de $A \times B.$