类型特征（type trait）结构体中type成员的通用术语问询

先定义一个类型特征（此处暂不纠结type的实际定义）：

template<typename T> struct sometrait  { using type = T; }; 

问题： 定义该特征的结构体中的type成员是否有常用的专门术语？
我认为“type trait”指的是特征本身，所以除了“类型特征中定义的类型”之外，我不知道该如何称呼type，这有点繁琐。
补充说明：类型特征通常会定义一个约定俗成的type成员，我想知道在该特征的其他成员类型中，是否存在专门的通用术语来称呼它。

这个type成员在C++类型特征的语境里有几个常用的专门术语：

• 关联类型（associated type）：这是最通用的术语，源自C++概念体系，用来指代由类型特征（或概念）对外暴露、代表其核心计算/映射结果的类型成员，完全符合sometrait<T>::type的定位。
• 类型别名成员（type alias member）：从语法层面描述，因为它是用using声明的类型别名，属于结构体的成员，这个术语更偏向语法属性。
• 在标准库的类型特征实践中，也常被简称为特征的类型结果成员，不过这个表述不如前两者通用。

内容的提问来源于stack exchange，提问作者abcdefg