A generic search algorithm is a generic algorithm whose input-output relation is specialized to the relation that the inputs are a collection of values and another value, and the output is the boolean value true if the other value belongs to the collection, false otherwise.
Subconcepts include generic linear search and generic binary search.