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