This concept is a narrowing of the generic algorithm concept by restrictions on the form of input-output relations. Subconcepts include generic sorting algorithms, generic search algorithms, generic graph traversal algorithms, generic polynomial addition algorithms, etc.