Partial and full specializations for a given template definition may be defined on a partial order. Specializations A and B are ordered A < B if and only if all template parameters that satisfy A also satisfy B and |A| < |B|. (In English, ...) If |A| = |B|, and A \neq B, then A and B are not comparable. Examples, please.