特定のブロックを特殊化し、新しい制約や属性を追加して定義された再利用可能な型を何と呼ぶか。

汎化関係の下位にあるサブタイプは、上位タイプの特性を継承しつつ独自の定義を持つ。