N
{funzioni : N → {xi1, i2,i3 | i1 , i2 , i3∈N}}
h
|
|
) |
È una funzione definita in modo che (a(1))(0) = x 0,0,1 , cioè la variabile x con indice dato da 0 aggiunto davanti alla prima coppia, (0, 1), di l1.
| a : |
N |
→ |
{funzioni : N → {xi1, i2,i3 | i1 , i2 , i3∈N}} |
||||||||||
|
h |
|
|