Aquí estamos adoptando dos abusos de notación: identificamos los
diferentes domínios, lo que puede ser hecho por movimientos
rígidos, e identificamos las restricciones 7#7 con A.
Los mismos abusos aparecerán más adelante, cuando sea claro en el
contexto sobre a qué objeto nos estemos refiriendo.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.