Inductiveの定義を追加する。