Se puede ver que esto resulta ser una relación recursiva, de la cual cada elemento "a" se define de forma única.