Dados dos conjuntos formula_1 y formula_2, cada subconjunto formula_52 se denomina relación o correspondencia entre formula_1.