Hola Álvaro
Según la definición del tipo "lista" del ejercicio 3, una lista es un puntero al eventual primer elemento. Si el puntero es NULL la lista es vacía (no contiene nodos), al igual que una lista simplemente encadenada/enlazada.
Saludos, Carlos