Dicionário de Termos Linguísticos

Em teoria dos conjuntos, uma relação é um conjunto de pares ordenados.Existem relações entre pares de objectos no mesmo ou noutro conjunto ou entre conjuntos. Quando entre objectos de dois conjuntos, é uma relação "de A para B". Quando entre objectos de um só conjunto, é uma relação "em A". No primeiro caso, A é o conjunto de partida (domínio de R) e B o conjunto de chegada (domínio de aplicação ou imagem).O complemento de uma relação, R', contém todos os pares ordenados do produto cartesiano que não são membros da relação R. A inversa (ou recíproca) de uma relação, R-1, tem como membros todos os pares ordenados em R,com o primeiro e segundo elementos invertidos. As relações binárias têm várias propriedades: reflexividade, simetria, transitividade, etc.