Relação (matemática)
propriedade que atribui valores verdade a k-tuplas de indivíduos / De Wikipedia, a enciclopédia encyclopedia
Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não vazios. Mais especificamente, seja uma relação definida do conjunto
com o
. O conjunto
é denominado conjunto de partida e o conjunto
é denominado conjunto de chegada. A correspondência (ou relação) entre um dado elemento
com um elemento
, quando definida, é denotada pelo par ordenado
, onde o primeiro elemento do par ordenado procede do conjunto de partida
e o segundo do conjunto de chegada
.
Este artigo não cita fontes confiáveis. (Janeiro de 2013) |
Os conjuntos de partida e de chegada não tem necessariamente que ter uma estrutura. Entretanto, segundo o tipo de estrutura que é sobreposta a esses conjuntos e o tipo de restrição que se impõe à própria relação, tem-se tipos especiais de relações, cada qual com um nome específico.
Uma classe de relações especialmente importante é a classe das funções.