definimos en la sección 3.1, y la correspondiente a la