Estructura Subyacente Cuando formula_3 es una estructura, obtenemos estructuras subyacentes si nos olvidamos de una o varias operaciones, o de algunos axiomas.