[1] (型に与えられた名前ではなく) 型の構造によって決定する等価性を、 構造等価性 (こうぞうとうかせい) (structual equivalence) といいます。