「定義名」はおそらく誤解と思われるので修正

ついでに訳注も追加。訳注がこの方法でいいのかは要検討。