Cualquier subconjunto formula_3 se dice "relación" de formula_1 sobre formula_2.