Em [[Matemática]], uma '''relação''' é uma correspondência existente(ou associação) entre elementos de dois conjuntos não vazios. PorMais exemploespecificamente, doisseja conjuntos <math>R</math> Auma relação definida do conjunto <math>A</math> ecom o <math>B</math>. O conjunto <math>A</math> é denominado '''conjunto de partida''' e o conjunto <math>B</math> é denominado '''conjunto de chegada'''. A correspondência (ou relação) entre um dado elemento <math>a\in A</math> com um elemento <math>b\in B</math>, quando definida, é denotada pelo [[Par ordenado|par ordenado]] <math>(a, b)</math>, onde o primeiro elemento do par ordenado procede do conjunto de partida <math> A </math> e o segundo do conjunto de chegada <math>B</math>.
A correspondência entre os dois conjuntos é dada em termos de [[Par ordenado|pares ordenados]], onde o primeiro elemento do par ordenado procede do conjunto de partida <math> A </math> e o segundo elemento do par ordenado procede do conjunto de chegada <math> B </math>.
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.