Em Matemática, uma relação é uma correspondência existente entre conjuntos não vazios. Por exemplo, dois conjuntos e . O conjunto é denominado conjunto de partida e o conjunto é denominado conjunto de chegada.