es la clase de equivalencia de "g" para la relación formula_16.