It shall be a class template that
takes two template type arguments and, optionally, additional
arguments that help define the relationship being described.
and publicly and unambiguously derived, directly or
its base characteristic
, which is a specialization
of the template
the arguments to the template integral_constant
determined by the
requirements for the particular relationship being described.