Concept-based overloading selects the most specific algorithm from a set of specializations of a given algorithm.
This definition is a part of the Generic Programming Glossary.