Elementos de una listas

En este apartado nos ocuparemos de la construcción de predicados que sirven para comprobar si un elemento pertenece o no a una lista o si se encuentra en determinada posición dentro de una lista y veremos que algunos presentan comportamientos adicionales a los inicialmente esperados. Para expresar estos comportamientos utilizaremos los términos siguientes: test cuando el comportamiento sea comprobar si se cumple una determinada relación, generador ´unico cuando genere un valor ´unico que verifique la relación, generador acotado cuando genere un número finito de valores, generador infinito cuando genere valores de manera continuada y anómalo
cuando no produzca resultado.