帰納 きのう てき関数 かんすうであれば
kinō tekikan sūdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 帰納的関数

1. If it is an inductive function.; When it is an inductive function.

Ba Conditional
Computing