A class that encapsulates a set of types and functions necessary for template classes and template functions to manipulate objects of types for which they are instantiated.