relação

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 . 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.