Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não-vazios. Mais especificamente, seja R uma relação definida do conjunto A com o conjunto B, a correspondência (ou relação) entre um dado elemento a pertencente a A com um elemento b pertencente a B, quando definida, é denotada pelo par ordenado (a,b). É possível também, expressar a relação em uma matriz aij em que se diz que iRj quando aij = 1 e, quando não se relacionam, aij = 0.