Si "y" está incluido en "x" entonces x formula_1 y