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