Overloaded name is a term used in this reference documentation to designate
a metafunction providing more than one public interface. In reality,
class template overloading is nonexistent and the referenced functionality
is implemented by other, unspecified, means.

Concept-identical

A sequence s1 is said to be concept-identical to a sequence s2 if
s1 and s2 model the exact same set of concepts.

Bind expression

A bind expression is simply that — an instantiation of one of the bind
class templates. For instance, these are all bind expressions: