Definimos una relación "R" por formula_25, ssi, x - y está en I.