Considere uma estrutura de dados, representada pela variável P, com procedimentos de inclusão, exclusão e consulta do próximo elemento (e) disponível na estrutura, obedecendo às seguintes propriedades:

1) exclui(inclui(e,P)) =

P 2) próximo(inclui(e,P)) = e

Pode-se concluir, então, que P corresponde à seguinte estrutura de dados: