[Tarea 6-2.a] Referirme a expresiones interiores en fórmulas

[gicrot]

Hola,

Quería saber si para la 2.a, para las fórmulas de $\alpha$ más complejos (es decir los de composición en adelante), al crear la fórmula me puedo referir a expresiones interiores ($\beta \circ \gamma$ por ejemplo), o si deben ser fórmulas que no hagan referencias a alguno de estos.

Posible spoiler 👀

Por ejemplo si en el: $\alpha = \beta \circ \gamma$ se puede hacer un $\exists z (x,z) \in \gamma(\mathfrak{A}) \wedge (z, y) \in \beta(\mathfrak{A})$

[juanreutter]

Si claro, ¡esa es la idea!