select-if

Der Aufruf (select-if p l) wertet zu einer Liste aus, die alle Element der Liste l enthält, auf die das Prädikat p zutraf.