Filtre primitif

Fonction qui applique une transformation simple à son espace d'entrée, produisant un ensemble de sortie ne contenant que les membres de l'ensemble d'entrée qui satisfont au critère. Un exemple serait une fonction de recherche qui n'accepterait qu'une chaîne simple et produisant en sortie les numéros de lignes où cette chaîne a été trouvée.