DEFINIÇÃO 
A lista é uma estrutura sequencial ou colecção de dados do mesmo tipo.

A lista é uma estrutura recursiva com as seguintes propriedades:

1. A lista pode ser vazia   - Quando esta não conter qualquer elemento. Este constitui o caso Base

2. Ou não vazia -A lista não vazia subdivide-se em duas partes:
              2.1 - Cabeçalho da  lista ( também designado por Head) - Isto é o primeiro elemento da lista.
              2.2 - A parte restante da  lista(designada por Tail) -Isto é o conjunto dos elementos restantes que é por sua  vez uma lista. ( Caso Indutivo)

 Ilustração:


Por exemplos dada a lista L = [A, B, C, D, E, F, G],  verifica-se o seguinte:
Head = A e Tail =[B, C, D, E, F, G]. 
 


OPERAÇÕES BÁSICAS
Operações básicas são operações elementares usadas para  derivar operações mais complexas
Eis a lista das operações básicas principais:
_______________________________________________________________________________________________________________
1. Inicializar
Operação: Inicializa a lista a uma lista vazia.
Poscondição: Retornar  a lista vazia.
_______________________________________________________________________________________________________________

2. Inserir(Elemento, Lista)
Parámetros:Elemento, Lista.
Operação: Inserir um elemento  ao topo da  lista.
Precondição:Considere a lista criada .
Poscondição: Retornar  a lista com o elemento inserido ao topo.
_______________________________________________________________________________________________________________
3. Head( Lista)
Parámetros:Lista.
Operação: Determinar o elemento ao topo da lista.
Precondição: Considere a lista não vazia .
Poscondição: Retornar a lista sem qualquer alteração.
_______________________________________________________________________________________________________________